腾讯混元Hyra证明50年加法集猜想

时间：2026年7月30日 地点：深圳 人物：腾讯混元团队（论文一作 Shanda Li） 事件详情：腾讯混元团队宣布，借助其研究智能体 Hyra 与开源 Hy3 模型，成功构造出一个整数集 A，使 |A+A| 与 |A-A| 的指数比精确达到 2，彻底解决了自 1969 年以来悬而未决的加法组合极值问题。此前 50 余年最佳构造仅略超 1.1，新成果首次证明最优指数恰为 2，并附完整形式化证明。论文已上传 arXiv（编号 2607.27199），Hyra 博客与 GitHub 形式化证明同步公开。 背景：这一经典问题属于加法组合数学，研究有限整数集合在加法运算（A+A）与减法运算（A-A）后规模的相对增长率。1969 年 Plünnecke-Ruzsa 不等式给出上界为 2，但最优构造长期空缺，被列入 Einstein Arena、Packing Center 等公开数学难题库，是组合数学领域几代人关注的开放问题。 影响： - 国产大模型首次在纯数学基础研究领域给出可形式化验证的最优构造，证明 AI 智能体能独立突破悬而未决的数学猜想。 - 加法组合与信息论、计算几何等多个数学分支紧密相关，新构造有望为类似极值问题提供通用研究范式。 - 腾讯混元 Hyra 在 2026 年 7 月发布后，已在 AI for AI、AI for Science、AI for Fun 三条线刷新多项纪录，本次数学突破进一步巩固其作为通用研究智能体的地位。 总结：腾讯混元用 Hyra + Hy3 组合在加法组合数学核心难题上完成最优构造，标志着国产 AI 从工程优化、GPU 内核调优跨入基础数学原创发现阶段。完整论文与 Lean 形式化证明已公开，为后续 AI 驱动数学研究提供了可复现范本。 参考来源： - https://arxiv.org/abs/2607.27199 - https://x.com/TencentHunyuan/status/2082655737541726636 - https://hy.tencent.ai/research/hyra - https://github.com/linhaowei1/sum-diff-proof - https://m.weibo.cn/detail/5326353704423216 - https://baijiahao.baidu.com/s?id=1866123357096001039&wfr=spider&for=pc - https://zhuanlan.zhihu.com/p/2060295663196312694 - https://www.163.com/dy/article/L2GSJ0H305119UK1.html