腾讯混元发布Hyra 2.0 转向用Agent造工具

时间：2026年11月2日，腾讯混元当日发布 AI 科研系统 Hyra 2.0。 地点：北京。发布方为腾讯混元团队，官方成果仓库托管在 GitHub 的 Tencent-Hunyuan 组织下。 人物：腾讯混元 AI4S 团队。Hyra 属于腾讯混元面向 AI for Science 的研究方向，该方向的公开招人由腾讯首席 AI 科学家姚顺雨发起，Hyra 1.0 的论文由腾讯混元署名发布。 事件详情：腾讯混元 11 月 2 日发布 AI 科研系统 Hyra 2.0，研发重点从直接用 AI 攻克科学难题，转向让通用 Agent 参与科学模型、研究工作流及软件工具的研发与升级，让一次研发的成果在后续研究中被反复使用，官方把这一转变概括为科研范式从“刷题解题”走向“造工具”，并提出工具升级带来的收益可被下游任务反复复用，从而形成“智能复利”。此前 Hyra 1.0 曾驱动开源模型解决加法组合学中悬置五十余年的开放问题，验证了“给 AI 明确评判标准的难题并循环尝试”这条路径可行。架构上，Hyra 2.0 把研究工作拆成 Overall、Mission、Worker 三层：Overall 负责与人类研究者沟通并对齐目标，Mission 长期负责单一研究问题并判断路线取舍，Worker 独立读代码、做实验、分析失败原因，并可质疑 Mission 的判断。系统还设计了项目状态、Agent 分层记忆与共享知识库 Books 三套分离的存储机制，项目复盘时可把可迁移方法整理成 skill，供后续任务直接调用。同日开放的官方 GitHub 仓库 Hyra-results 给出第一批可检验成果：五个用于分子模拟的机器学习力场 HyFF（Presto、Vivace、Moderato、Andante、Largo，参数量从 230 万到 12 亿，覆盖 83 种元素，基于 OMol25 训练；Andante 的力误差为 7.65 meV/Å，UMA-S-1.2 为 7.55 meV/Å，但分子动力学速度是后者的 29 倍；Largo 的能量误差 0.364 meV/atom 在被评估模型中最低，DPA4-Pro 为 0.380，速度是 DPA4-Pro 的 9.7 倍，模拟的是单张 H20 上的 2586 原子体系）；蛋白模型 HyInv（196 万参数消息传递图网络，做蛋白反向折叠）与 HyPLM-Flash（6.5 亿参数蛋白语言模型，带 INT8 GPU 推理引擎，单张 H20 上每秒约 13 万个残基）；数学方面给出 Petty 等距点猜想在五维空间的结果，此前该猜想最高已解决的维度是 4（Makeev，2005），以及 Yau 圆作用猜想的非受限形式。 背景：Hyra 1.0 于 2026 年 7 月 21 日推出，基于当月开源的 Hy3 模型，总参数 2950 亿、激活参数 210 亿；7 月 29 日相关论文发布在 arXiv 上，Lean 4 形式化证明同步公开。它攻克的是加法组合学里悬置五十余年的开放问题：数学家定义 σ(A)=|A+A|/|A|、δ(A)=|A-A|/|A| 与 C(A)=logσ(A)/logδ(A) 衡量和集相对差集的扩张能力，已有理论证明 C(A) 不超过 2，但 2 是否能被无限逼近长期没有答案。1969 年的结果约为 1.0290，1973 年提高到 1.0598，2013 年推进到 1.1259，近一年 AI 辅助搜索把纪录推到 1.1449，Codex（GPT-5.5）在人类引导下做到 1.2851。Hyra 先通过有限集合搜索把最好结果从约 1.14 提到 1.21，再经约 24 小时自主探索提出核心构造：用十二进制数字结构控制差集规模，结合循环群上的对称加法基与中国剩余定理，让和集规模实现接近平方级增长，团队据此证明一族有限整数集合的 C(A) 会随参数增大无限接近 2，并公开了完整证明与 Lean 4 形式化验证。Hyra 1.0 首批测试还覆盖天文与生命科学等方向：在 55 道数十年没有进展的数学开放问题里刷新了 29 道的已知最好结果，从百年太阳黑子数据中找出预测公式、样本外精度 R²=0.77，用 15 个参数实现 10 位数加法，比此前纪录减少 58.3%，自研量子比特路由算法比经典方案提效 44.4%。 影响：科研智能体的竞争焦点从“解一道题”转向“造能反复复用的工具”，工具升级一次就能被后续任务多次继承，这是 Hyra 2.0 最实质的变化。官方把模型权重、推理代码和技术报告一并放进 GitHub 仓库，第三方可以自行复现和检验，成果的可验证性明显高于只给结论的做法；Hyra-results 仓库被定位成持续更新的成果集，公开榜单上的后来者可能基于 Hyra 已公布的方案继续刷新数字。对国内模型厂商而言，AI4S 正从演示性成果转向可交付的工具链与代码资产。对使用方来说，评价“AI 参与科研”的标准也需要从单题正确率，换成工具链能否沉淀并被复用。 总结：腾讯混元把 Hyra 从解题型科研智能体升级为造工具型 AI 科研系统，用 Overall、Mission、Worker 三层架构加 Books 共享知识库，把一次研究里可迁移的方法固化成可复用的 skill，再由官方 GitHub 仓库把力场模型、蛋白模型和两条数学猜想结果一并公开。变化的意义不在于又多了一次演示，而在于 AI 开始生产可以被后续研究反复调用的科研工具；对关注 AI for Science 的团队来说，可直接取用的权重、代码与形式化证明，比一次性的成绩单更有长期价值。需要注意 Hyra 1.0 的论文目前仍是 arXiv 预印本，尚未经过同行评议。 参考来源： IT之家：腾讯混元发布 Hyra 2.0：为模型研发打造可复用工具 https://www.ithome.com/1/021/266.htm DoNews：腾讯混元发布 Hyra 2.0：为模型研发打造可复用工具 https://www.donews.com/news/detail/1/6762500.html 光通信Pro（转凤凰网科技）：腾讯混元发布Hyra 2.0：AI科研从“解题”转向“造工具” https://www.c114.net.cn/industry/140847.html 驱动中国：腾讯混元发布Hyra 2.0 AI科研系统 https://app.qudong.com/article/528271.html 证券之星（转同花顺7×24快讯）：腾讯混元推出Hyra 2.0 https://wap.stockstar.com/detail/KX2026110200027480 腾讯混元官方 GitHub 仓库：Hyra Results（Hyra 2.0 工具与模型成果） https://github.com/Tencent-Hunyuan/Hyra-results arXiv 预印本：Hyra: Hunyuan Research Agent（加法组合学开放问题论文） https://arxiv.org/abs/2607.27199 Lean 4 形式化证明仓库（Hyra 论文配套） https://github.com/linhaowei1/sum-diff-proof 智东西：腾讯科研智能体攻破50年未解数学难题，姚顺雨喊话正在招人（Hyra 1.0 背景） https://zhidx.com/p/581537.html 量子位：姚顺雨拿50年数学难题成绩单，招人了（Hyra 1.0 背景） https://www.qbitai.com/2026/07/464100.html