腾讯混元Hyra研究智能体破解50年数学难题

腾讯混元推出的研究智能体 Hyra 联合 Hy3 模型,解决了一个悬而未决超过 50 年的加法组合数学难题——给定有限整数集 A,|A+A| 相比 |A-A| 最快能快多少,首次给出精确指数为 2 的显式构造,并附带形式化证明。

• 该问题 1969 年就有理论上界指出指数不超过 2,但过去五十多年最好的构造方案指数仅勉强超过 1.1,差距一直没被填平
• Hyra 借助 Hy3 模型找到了一个显式构造,证明最优指数恰好等于 2,论文与 GitHub 上的形式化证明均已公开
• 业内讨论关注这类突破中“AI 引导”成分的占比,例如是否可以脱离外部裁判模型、仅靠自身模型完成
• 更广泛的评论认为,AI 在数学研究中的角色更可能是帮数学家探索人力难以覆盖的搜索空间,而非直接取代数学家
• 影响:这是国产大模型研究智能体在纯数学基础问题上拿下的一个标志性成果,说明 AI 辅助数学证明已从“辅助计算”走向“独立贡献新构造”,后续类似“智能体解开陈年难题”的案例值得持续跟踪。

本内容由 AI 生成，仅供参考，请注意甄别