腾讯混元Hyra破解50年数学难题

据腾讯混元公开材料，研究智能体Hyra及Hy3模型构造出整数集A，使|A+A|与|A-A|的指数比精确达到2，并证明最优指数为2；相关论文及形式化证明已经公开。

材料称，该极值问题自1969年以来一直悬而未决，过去50余年的最佳构造仅略高于1.1。本次成果把指数比推进至2，并给出了该数值为最优指数的证明。

Aioga判断，这项成果的关键不只是数值从略超1.1提升至2，更在于构造、最优性证明及形式化证明能否经受公开检验。现有材料来自腾讯混元自身发布，结论仍值得进一步复核。

若论文与形式化证明得到独立验证，该成果可能显示研究智能体与模型能够参与高难度数学构造及证明工作，也可能为类似极值问题提供新的研究路径，但材料未说明其方法能否推广。 值得关注后续研究者对公开论文、整数集构造、指数比定义及最优性证明的核查，并检验形式化证明能否复现。对于Hyra与Hy3的具体分工和适用范围，也应以论文披露为准。