IT Home·· 2026-07-31精选AI 评分77
腾讯混元基于 Hy3 的科研智能体 Hyra 攻克加法组合学 50 年未解难题
腾讯混元：基于 Hy3 模型的科研智能体 Hyra 攻克加法组合学 50 年未解难题
AI 导读
腾讯混元宣布，基于 Hy3 模型的科研智能体 Hyra 为加法组合学中悬置半个多世纪的开放问题给出完整答案，说明 2 是该问题的上确界，并给出了满足条件的显式构造族。
推荐理由
科研智能体从有限搜索转向自然语言构造与论证，读者可以了解它在数学开放问题上的工作路径。
来源：IT Home · ithome.com