安全股票配资公司腾讯科研智能体攻破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。数学家长期关注的问题是：一个集合经过加法扩张后，和集规模能够增长多少？这种增长能力与差集扩张之间是否存在某种固定规律？

为了衡量这种扩张关系，数学家定义了两个指标。其中，σ(A)=|A+A|/|A|用于表示和集相对于原集合的扩张倍数，δ(A)=|A-A|/|A|表示差集扩张倍数，并进一步定义C(A)=logσ(A)/logδ(A)，用来衡量和集扩张能力相对于差集扩张能力的比例。

已有数学理论证明，C(A)≤2。但过去50多年，数学家一直无法回答一个关键问题：2是否只是一个理论上的宽松上界，还是能够通过构造特殊集合无限逼近的最优结果？

围绕这一问题，数学界持续尝试寻找更接近2的集合构造。1969年，相关结果约为1.0290；1973年提升至1.0598；2013年进一步达到1.1259。近一年，AI辅助搜索开始参与这一问题的探索，将已有数值推进到1.1449。该论文还记录了一项内部实验，Codex（GPT-5.5）在人类引导下将这一数值进一步提升至1.2851。