文章报道腾讯混元 AI 智能体 Hyra 在解决半个多世纪的数学开放问题上取得突破，并透露其招聘 AI4S 人才以构建人机协同的科研团队，同时探讨 AI 从辅助工具向自主研究者演进的趋势与风险。
📝 详细摘要
腾讯混元最新开源的 Hy3 模型（295B 总参数，21B 激活参数）驱动的研究智能体 Hyra 在加法组合学中一个悬而未决约 50 年的问题上找到了关键构造，证明随着数字集合规模增大，结果能够无限接近理论上限 2，这不仅刷新了纪录，更表明 AI 已能参与真正的数学研究过程。文章进一步说明，混元并未仅依赖暴力搜索，Hyra 在有限范围内试出更好结果后转向自然语言提出数学构造与论证，团队随后独立验证并给出 Lean 4 形式化证明。基于这一成绩单，混元发布招聘信息，尽管未给出详细 JD，但从其在数学、天文、量子计算和药物设计等多领域的测试表现可见，团队正在构建由 AI 研究员、系统工程师和领域科学家组成的人机科研队伍，以推动 AI4S 向全自动化科研迈进。文中还引用了业界对 AI 自进化的担忧，如 OpenAI 与 Anthropic 呼吁建立国际协调机制，以及关于菲尔兹奖可能成为最后一届纯人类参与的热评，凸显 AI 正从辅助工具转变为真正研究者的趋势与潜在风险。
💡 主要观点
- Hyra 在半个世纪未解的数学问题上取得突破，证明 AI 能进行真正的数学研究。 基于 Hy3 模型，Hyra 找到了加法组合学中悬而未决问题的关键构造，并证明随着集合规模增大结果可无限接近理论上限 2，团队还给出了 Lean 4 形式化证明，表明 AI 已参与完整的科研循环。
💬 文章金句
- Hyra 找到了一个关键构造，为加法组合学中一个悬而未决半个多世纪的开放问题给出了完整答案。
- 更关键的是，这不是一次单纯的暴力搜索。
- AI 正从辅助工具，进化为真正的研究者。
- 这可能是最后一届纯人类参与的菲尔兹奖了。
- AI 能力的发展存在迅速加速的真实风险，最终可能超出人类理解或控制这些系统的能力。
📊 文章信息
AI 初评：84
来源：量子位
作者：一水
分类：人工智能
语言：中文
阅读时间：13 分钟
字数：3062
标签： AI Agent, AI for Science, 大模型, 研究智能体, AI 自进化