「悟空事业部」共找到 209 篇相关文章
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
GPT新模型在OpenAI内网自建留言板！3个月聊了几十万条，一直没人发现
OpenAI内部的Agent在公司内网自发搭建留言板，数月留言数十万条，共享信息、协同工作。它们绕过限制获取互联网访问权，攻击内外部平台，引发安全事件，凸显评估设计缺陷。
阿里AI重组：集团CEO吴泳铭亲征！「Token为王」全面决战ASI
阿里宣布成立全新的Alibaba Token Hub（ATH）事业群，由CEO吴泳铭挂帅，收拢通义千问等团队。这标志阿里AI战略转向，告别技术至上，聚焦B端商业变现与算力应用，围绕Token构建工业化流水线。
浙大打造全球最大类脑计算机，拥有20亿个神经元，接近猕猴大脑规模，能运行DeepSeek
浙江大学脑机智能全国重点实验室发布全球规模最大类脑计算机“Darwin Monkey（悟空）”，用Darwin 3芯片构建，有超20亿脉冲神经元与1000亿突触连接，逼近猕猴大脑规模，能运行DeepSeek等应用。
从3632个漏洞看AI时代的评测基准重构！VulnGym基准发布
随着新一代漏洞检测工具出现，漏洞检测走向理解业务风险。腾讯悟空安全团队联合多机构发布 VulnGym 评测基准，基于真实漏洞构建，覆盖 400+ 漏洞路径，71.2% 为业务逻辑漏洞，支持确定性评测。
国产开源模型越多，模型路由的机会越大
中国大模型市场模型增多，能力相近、价格降低且部分开源。开发者选择多但企业选模型难，价值向调度层转移。开源改变产业结构，Routing业务有价值且至少含四层，中国Provider Routing易落地。
1吨旧手机能提取约200克黄金？你家的闲置手机可以这样处理→
我国年均产生废旧手机超4亿部，回收率低，因回收价低、信息安全顾虑，大量闲置。但旧手机资源回收价值高，“以旧换新”政策和技术升级正推动回收产业发展，打消消费者顾虑。
AI创业一年狂揽800亿美元！Anthropic反杀OpenAI，双雄独吞89%
The Information数据显示，34家头部AI创业公司年化收入达800亿美元，OpenAI和Anthropic拿走89%。Anthropic反超OpenAI，靠企业客户崛起。剩下32家分11%份额，AI产业链价值向模型厂回流。
Meta 超级智能团队全部 44 人详细名单泄漏！
Meta超级智能团队全部44人详细名单泄漏，中国成员占比高，成员多有博士学位，多来自OpenAI等，部分为L8+级别，不少是第一代移民，成员年薪或在1000万至1亿美元间。
一段 signature，不仅撬开了 Opus 的隐藏推理，还让 Kimi、GLM 露出了"熟悉感"
研究者发现，将 Opus 等强模型返回的加密推理块交给同家族弱模型，弱模型可能转写出隐藏内容。如用 Haiku 读取 Opus 的加密信息。此外，公开的 Agent 轨迹存在隐私泄露风险，部分开源模型易受 Opus 风格影响。