一个 1969 年的老问题，熬过 57 年没人解出，最后被一个会自我改进的研究智能体啃下来——还顺手把证明形式化了一遍。
腾讯混元这次是 Hyra（递归自我改进研究智能体）+ Hy3（开源 MoE，295B 总参、21B 激活、Apache 2.0）。它们联手解决了 sumset/difference set 的最优指数问题：证明那个最优指数就等于 2。
arXiv:2607.27199，一作李善达（Shanda Li）、通讯林浩威（CMU + 腾讯混元）。构造手法很巧：十二进制 gadget + 三态进位自动机 + 对称加法基 + 中国剩余定理，搭出集合 A_K 使得 C(A_K) 大于 2K/(K+3)，把指数逼到 2。Lean4/mathlib 形式化 2212 次构建任务，no-sorry，代码在 github.com/linhaowei1/sum-diff-proof。Thomas Bloom（这领域权威）验证后署名「Lin, Li, and Hyra」——把 agent 名字写进作者栏，很 2026。
EinsteinArena 55 题破 29。
钉子：过去说「AI 帮数学家找灵感」，这次是「AI 自己把灵感推到底、还出了份机器可验的答卷」。下一根该盯的：当 Hyra 类智能体批量吃下 50+ 年悬案，数学期刊的「作者」字段，要不要加一行 with AI？