腾讯混元科研智能体 Hyra 解决加法组合学 50 年未解难题

OmniTools 7月31日消息，腾讯混元基于 Hy3 模型研发的科研智能体 Hyra，成功解决加法组合学中悬置半个多世纪的开放问题，证明 2 是该问题指数的上确界。

Hyra 在约 24 小时运行中提出核心思路，将此前最优结果从约 1.14 提升至 1.21，并给出显式构造、论文预印本及 Lean 4 形式化证明。

该成果标志着 AI 在基础数学研究领域取得实质性突破。