腾讯首席AI科学家姚顺雨近日在社交媒体上转发了一篇论文，并附言“Hy AI4S is hiring :)”，公开招募AI for Science方向人才。此举的背景是，7月29日腾讯混元科研智能体Hyra参与的论文在arXiv上发布，宣称破解了加法组合学领域一道持续50余年的公开难题。
这道难题属于加法组合学，研究整数集合经过加法和减法运算后，规模扩张之间的关系。具体而言，给定一个有限整数集合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。但这些探索都局限于找到更优的样本，无法回答C(A)是否真的能无限接近2。
Hyra的突破在于，它没有停留在寻找更优样本，而是发现了一套可推广的数学构造方法。研究团队先让Hyra进行有限集合搜索，将最好结果从约1.14提升至1.21，但暴力搜索受计算量和内存限制，难以转化为严格证明。随后，团队让Hyra自主提出数学构造和推理方案，并通过LLM judge反馈。经过约24小时探索，Hyra提出了核心思路：利用十二进制数字结构控制差集规模，结合循环群上的对称加法基与中国剩余定理，使和集规模实现接近平方级增长。
基于这一方法，研究团队构造出一族有限整数集合A_K，并证明随着参数K增加，C(A_K)无限接近2。这解决了长期悬而未决的问题：2确实是理论上界，但不存在任何有限整数集合能够真正达到2。研究团队对证明过程进行了人工检查和整理，并公开了Lean 4形式化证明。目前该论文仍是arXiv预印本，尚未经过同行评议。
Hyra于7月21日由腾讯混元推出，基于本月开源的Hy3模型，该模型总参数量为2950亿，激活参数量为210亿。在破解难题时，Hyra承担自动化探索工作，帮助研究者挖掘潜在数学构造思路。姚顺雨的评论区中，有网友称论文“太疯狂了”，用显式构造解决数十年未解的和集问题；还有人畅想“下一位菲尔兹奖得主会是AI吗？”
值得注意的是，腾讯招聘平台也发布了由姚顺雨带队的AI Infra团队招聘消息。从推出Hyra，到用Hy3辅助解决50多年未解的数学问题，再到姚顺雨团队招人，腾讯混元正将大模型能力延伸到科学发现领域。此次工作更值得关注的是，AI从“搜索更好的答案”走向了“提出可以被证明的数学构造”。在AI提出思路、人类检查整理、形式化工具验证的协作模式下，AI for Science正在成为大模型竞争的新战场。