腾讯混元 AI 破解 50 年数学难题，姚顺雨亲自下场招人
量子位 · wechat · 2026-07-31
腾讯混元团队近期在 AI for Science (AI4S) 领域取得重要突破。基于自研研究智能体 Hyra 与开源的 Hy3 模型，团队成功将一个困扰数学界约 50 年的加法组合学开放问题推进至新的最佳结果，并证明其可无限逼近理论上限。团队不仅给出了完整证明，还提供了 Lean4 形式化验证。
以此科研成果为“招聘广告”，前 OpenAI 研究员、现混元团队成员姚顺雨亲自宣布启动 AI4S 方向的招募。此次招聘不设传统 JD，核心目标是组建一支由 AI 研究员、系统工程师与领域科学家构成的“人机科研队伍”。
混元此前推出的 Hyra-1.0 已在多个领域展现潜力：在 55 道未解数学难题中刷新 29 项纪录，从百年太阳黑子数据中发现预测公式，并自研了提效显著的量子比特路由算法。这标志着 AI 正从单纯的辅助工具，进化为能够自主提出方案、运行实验并迭代的研究者。
所属事件:腾讯混元AI破解50年组合数学难题(3 条相关)→
「公司和人」频道最新
- 黄仁勋：世界需要前沿开源与闭源模型并存 — rohanpaul_ai · 2026-07-31
- 米哈游蔡浩宇 AI 创业生变：转向 Agent 与独立开发 — 量子位 · 2026-07-31
- dotey评AI编程工具：大厂放不下身段山寨导致产品拉胯 — dotey · 2026-07-31
- Physical Intelligence 高管澄清定位：不止于遥操作，全力攻克通用具身智能 — ZeYanjie · 2026-07-31
- 若生在美国，Kimi与月之暗面估值将轻松破两千亿美元 — JosephJacks_ · 2026-07-31
- 吐槽：头部 AI 公司重营销轻客服，用户求助无门 — yuntiandeng · 2026-07-31