腾讯科研智能体攻破50年未解数学难题，姚顺雨喊话正在招人

智东西 作者 | 茄子 编辑 | 程茜 智东西7月31日消息，昨日，腾讯首席AI科学家姚顺雨转发腾讯混元的一篇论文并喊话：“Hy AI4S is hiring :)”，公开招募AI for Science方向人才。 7月29日由腾讯混元科研智能体Hyra参与破解数学难题的论文发布在arXiv上。依托Hyra强大的推演与探索能力，腾讯研究团队取得关键进展，破解了加法组合学领域一道持续50余年的公开难题。 姚顺雨的评论区里，有位网友称，Hyra/Hy3的论文“太疯狂了”，用显式构造解决一个数十年未解的和集问题，完全没想到这会出现在一条招聘帖里。 还有人畅想：“下一位菲尔兹奖得主会是AI吗？” 值得注意的是，今天下午腾讯招聘平台也发布了由姚顺雨带队的AI Infra团队招聘的消息。 7月21日，腾讯混元推出了科研智能体Hyra。它基于本月开源的Hy3模型，该模型总参数量为2950亿、激活参数量为210亿。Hyra在破解这道难题时承担的是自动化探索工作，并帮助研究者挖掘潜在数学构造思路。 Hyra先是通过搜索优化现有有限集合案例，之后进一步提出一套可无限拓展的参数化构造方案：依靠十二进制结构约束差集规模，结合循环群对称加法基与中国剩余定理，实现和集更快扩张。AI输出候选方向后，研究人员校验思路、推导完整严谨证明，并借助Lean4完成形式化验证。 这道加法组合学问题研究的是，整数集合经过加法和减法运算后，规模扩张之间到底存在怎样的关系。 比如，给定一个有限整数集合A，将集合中任意两个元素相加，并去除重复结果，可以得到“和集”A+A；同样，将任意两个元素相减，可以得到“差集”A-A。数学家