腾讯混元Hyra攻克50年数学难题：AI科研智能体进入全球第一梯队

2026年7月31日，腾讯混元宣布，基于Hy3模型打造的科研智能体Hyra找到了一个关键构造，为加法组合学中一个悬而未决半个多世纪的开放问题给出了完整答案。该问题源自1969年，核心是关于有限整数集合中加法运算的结构性质——具体而言，Hyra证明了2是该问题指数的上确界，将此前最好的结果从约1.14提高到1.21，并提供了显式构造、论文预印本以及Lean 4形式化证明。

Hyra智能体经过约24小时的自主运行完成了这一突破。在这个过程中，Hyra不仅进行了大量的计算搜索，还自主提出了关键的数学构造思路，并通过反复验证和优化最终找到了正确答案。这种"AI自主提出假设-验证-优化"的科研模式，展示了AI智能体在基础科学研究中的巨大潜力。Lean 4形式化证明的提供意味着该结果已经过计算机验证，数学上严格无误。

这一突破标志着中国AI在"用AI做科研"方向上已进入全球第一梯队。此前，Google DeepMind的FunSearch在组合数学领域取得过类似突破，而腾讯混元Hyra的成果证明中国AI公司也具备了将大模型能力转化为科研工具的能力。随着AI智能体技术的成熟，预计未来将有更多基础科学难题被AI攻克，AI从"辅助工具"向"科研合作者"的角色转变正在加速。对科研界而言，这意味着研究范式可能正在发生根本性变革——人类提出问题，AI寻找答案。