时间：2026年7月30日
地点：中国深圳
人物：腾讯混元团队 Hyra 研究智能体 + Hy3 模型
事件详情：腾讯混元于7月30日凌晨公布，其科学发现智能体Hyra与开源权重模型Hy3协作，在加法组合学经典难题上取得突破——证明有限整数集合上|A+A|与|A-A|增长率的最优指数恰好为2，结束了困扰数学界50余年的开放问题。研究论文题为《Settling the Optimal Exponent Relating Sumsets and Difference Sets》（arXiv:2607.27199），由Shanda Li担任第一作者，腾讯混元7月29日17:59提交预印本。同时，团队在Lean 4 / mathlib中给出形式化证明并完全开源。该结果同步发表于腾讯Hyra博客。
背景：1969年加法组合学经典定理给出σ(A)^{1/2}≤δ(A)≤σ(A)^2的不等式，其中右侧指数2已知最优，左侧1/2的指数能否改进却悬而未决。50多年来，最佳构造仅略超过1.1，始终未能逼近理论下界。Hyra是腾讯混元于7月21日发布的递归自我改进研究智能体，Hy3是支撑其推理的开源权重模型。同期DeepMind AlphaEvolve在300年数学难题上已有进展，而Hyra此前已刷新EinsteinArena 55个数学开放问题中29个的最佳纪录。此次突破是国产研究智能体首次在加法组合学经典问题上达到理论最优。
影响：
- 终结困扰加法组合学界50余年的开放问题，给出明确构造逼近最优指数
- 论文附Lean 4形式化证明，是少数同时具备arXiv论文与机器可验证证明的AI数学成果
- 验证Hyra作为AI科学家的递归自我改进路径可在未解经典问题上产出原创成果
- 为后续相关集合论、解析数论问题提供构造范式与代码模板
- 提升国产大模型在AI for Science赛道的话语权
总结：腾讯混元Hyra+Hy3在50年经典数学难题上的突破，标志着AI研究智能体已能在人类顶尖数学家未能企及的领域给出最优构造并通过形式化验证。这不仅是加法组合学的进展，更是对"递归自我改进+大模型"这条AI for Science技术路线的关键背书。
参考来源：
- https://x.com/TencentHunyuan/status/2082655737541726636
- https://arxiv.org/abs/2607.27199
- https://github.com/linhaowei1/sum-diff-proof
- https://hy.tencent.ai/research/hyra
- https://m.sohu.com/a/1053070217_122014422
- https://www.chinaz.com/ainews/29747.shtml
- https://cloud.tencent.com/developer/article/2530804
- https://ai-bot.cn/hyra/