腾讯发布科研智能体 Hyra
热点事件历史事件
腾讯发布科研智能体 Hyra
1 篇报道1 个报道来源2026-07-31更新
先了解这件事
报道摘要
腾讯混元上周推出的科研智能体 Hyra，基于本月开源的 Hy3 模型（总参数 295B、激活参数 21B），为加法组合学中悬置半个多世纪的开放问题给出完整答案，证明 2 是该问题指数的上确界。Hyra 先在有限搜索中将最好结果从约 1.14 提高到 1.21，经约 24 小时运行提出核心构造思路，并给出 Lean 4 形式化证明。论文预印本、显式构造和形式化证明均已公开。
摘自 公众号：腾讯混元
最新进展7月31日 12:10
腾讯混元 Hyra 攻克加法组合学 50 年未解难题报道时间线
沿着报道，了解事件的不同侧面。
7月31日
- 公众号：腾讯混元精选腾讯混元 Hyra 攻克加法组合学 50 年未解难题
腾讯混元上周推出的科研智能体 Hyra，基于本月开源的 Hy3 模型（总参数 295B、激活参数 21B），为加法组合学中悬置半个多世纪的开放问题给出完整答案，证明 2 是该问题指数的上确界。Hyra 先在有限搜索中将最好结果从约 1.14 提高到 1.21，经约 24 小时运行提出核心构造思路，并给出 Lean 4 形式化证明。论文预印本、显式构造和形式化证明均已公开。