腾讯混元 Hyra 破解数学难题，AI 推动半世纪开放问题获完整解答

腾讯混元基于 Hy3 模型的科研智能体 Hyra，在加法组合学领域取得突破，为悬而未决半个多世纪的开放问题给出了完整答案。该问题涉及有限整数集合在加法和减法下的扩张倍数，经典不等式给出上界 2，但数学家一直无法确定 2 是否为最优指数。Hyra 通过显式构造，证明 2 确实是上确界，即任何接近 2 的目标都可被超越。研究过程中，Hyra 将最好结果从约 1.14 提升至 1.21，随后提出核心思路，利用十二进制数字结构和循环群上的对称加法基等数学工具，完成证明。论文预印本、显式构造和 Lean 形式化证明均已公开，展示了 AI 在数学推理中的巨大潜力。