腾讯混元借助Hyra破解50年数学难题
Hyra将指数比从约1.14提升至1.21，并最终达到理论最优值2。
DIGEST
AI 综述 · 更新于 1天前事件全貌
腾讯混元的研究智能体Hyra基于Hy3模型，构造出一个整数集合A，使得其和集与差集的指数比精确达到2，解决了自1969年以来悬而未决的加法组合学极值问题。此前50余年，该问题的最佳构造仅将指数比略超1.1，而新成果证明最优指数即为2。
Hyra经过约24小时运行提出核心思路，将最好结果从约1.14提高到1.21，并最终给出显式构造。相关论文预印本及Lean 4形式化证明已公开。
本综述由 AI 汇总全部报道生成，随事件进展持续更新；下方时间线中的单篇报道保留其发布时的原貌。
7 DAYS
小时快照相对热度本事件热度走势
7月31日 01:018月1日 15:10
TIMELINE
2 条公开报道 · 官方一手 1 条 · 最新在前报道时间线
- 腾讯混元科研智能体 Hyra 攻克加法组合学 50 年未解难题
腾讯混元基于 Hy3 模型的科研智能体 Hyra 为加法组合学中悬而未决半个多世纪的开放问题给出完整答案，证明 2 是该问题指数的上确界。Hyra 经约 24 小时运行提出核心思路，将最好结果从约 1.14 提高到 1.21，并给出显式构造、论文预印本及 Lean 4 形式化证明。
- 腾讯混元Hyra破解50年数学难题
腾讯混元借助研究智能体Hyra及Hy3模型，构造出整数集A使|A+A|与|A-A|的指数比精确达到2，解决了自1969年以来悬而未决的极值问题。此前50余年最佳构造仅略超1.1，新成果证明最优指数即为2。论文及形式化证明已公开。