混元Hyra联合Hy3模型攻克了50年未解的数学极值难题

南风起 · 2026-07-30T04:20:42.650Z

腾讯混元最近搞了个大动作，他们用研究智能体Hyra加上Hy3模型，直接解决了一个从1969年遗留到现在的数学极值问题。具体来说，他们构造了一个整数集，让和集与差集的指数比精确达到了2。要知道过去50多年里，大家弄出来的最佳构造也就1.1出头，这次直接证明了最优指数就是2。目前相关的论文和形式化证明都已经放出来了，做算法和数学研究的朋友可以去看看，确实挺硬核的👍。

发现产品榜单精选讨论