一句话看懂：腾讯混元团队借助自研研究智能体Hyra和Hy3模型，构造出一个显式例子，证明了1969年提出的加性组合学指数上界正是最优的2，结束了长达50多年的数学难题。这是AI独立驱动数学突破的典型范例。
事件核心：发生了什么
7月30日，腾讯混元官方在X上宣布，其研究智能体Hyra与Hy3模型共同完成了一项数学突破：对任意有限整数集A，集合A+A（两数和）与A−A（两数差）的指数增长率之比，1969年定理给出的上界为2，但过去50多年最好的构造案例指数仅略超1.1。混元团队给出了一个显式构造，证明该指数可达2，从而确认2就是最优解。相关论文已提交至arXiv（2607.27199），形式化证明代码同步开源在GitHub。
为什么重要
加性组合学中的这一“指数差距”问题困扰了数学界半个世纪，此前依靠人类直觉与暴力计算始终无法突破。Hyra智能体并非简单枚举，而是基于Hy3模型进行推理、搜索与验证，最终找到人工难以发现的极端构造。这标志着大模型在“发现+证明”的科研闭环中迈出实质一步，AI不再只是辅助计算，而是能独立提出构造方案并完成严格论证。对腾讯混元而言，这也是其“AI for Science”战略的重要落地，展示了自研模型在符号推理与数学研究场景的竞争力。
对用户/开发者/创作者的影响
普通用户短期内感受不到直接变化，但这项成果暗示了AI能力在大桥段的新突破。对于从事AI研究或数学建模的开发者，Hyra的工作流程——利用大模型进行目标引导的搜索与验证——提供了可借鉴的范式。Hyra本身是“研究智能体”，未来可能通过API或开源方式提供给学术界和工业界，用于化学、物理等领域的复杂构造问题。创作者（如科普作者）可关注该案例：AI不仅会画图写文，还能解决纯数学难题，这是内容传播的好素材。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
第一，Hyra智能体与Hy3模型是否会对外开放使用或开源？目前仅公开了形式化证明代码，核心模型细节尚未披露。第二，该成果是否能被数学界同行验证并承认？虽然构造存在，但需要经过同行评审确认最优性。第三，其他数学难题是否可能被类似方法攻克？比如朗兰兹程序中的构造问题，如果Hyra能泛化推理能力，则可能引发AI辅助数学研究的新浪潮。
