# 腾讯混元 Hyra 攻克加法组合学 50 年未解难题

- 来源：公众号：腾讯混元
- 作者：腾讯混元
- 发布时间：2026-07-31 12:10
- AIHOT 分数：89
- AIHOT 标记：精选
- AIHOT 链接：https://aihot.virxact.com/items/cmsdu2uhb013jrofz7ggai8af
- 原文链接：https://mp.weixin.qq.com/s?__biz=MzkwODU2OTQyNQ%3D%3D&mid=2247498145&idx=1&sn=6968b330e01b1f306db418dc19ae4843

## 精选理由

构造不再依赖暴力搜索，而是从数学结构入手自主推理，同时给出可形式化证明，让AI在定理型科学问题上从辅助工具转向共同研究者。

## AI 摘要

腾讯混元上周推出的科研智能体 Hyra，基于本月开源的 Hy3 模型（总参数 295B、激活参数 21B），为加法组合学中悬置半个多世纪的开放问题给出完整答案，证明 2 是该问题指数的上确界。Hyra 先在有限搜索中将最好结果从约 1.14 提高到 1.21，经约 24 小时运行提出核心构造思路，并给出 Lean 4 形式化证明。论文预印本、显式构造和形式化证明均已公开。

## 正文

公众号正文需在微信内阅读，站内仅提供摘要。

> 站内仅提供摘要，全文见原文。