腾讯混元 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 条相关)→
「公司和人」频道最新
- 清华 AI 学院助理教授陈永创 ApexIntelligence，天使轮融 5000 万美元 — DeryaTR_ · 2026-10-16
- FlashAttention 作者 Tri Dao 加入生物 AI 公司任科学顾问 — exnx · 2026-10-16
- OpenAI DevDay 社区黑客松落地柏林,设开发者/创始人/GTM 三赛道 — paw_lean · 2026-10-16
- 数据科学家转岗警报:会机器学习不够,AI 工程技能成新门槛 — mdancho84 · 2026-10-16
- 开发者吐槽:大模型实验室不懂企业 ROI,token 花费≠绩效 — verrsane · 2026-10-16
- 投稿暴涨300%,TMLR封禁159名作者并抬高拒稿率至53% — thegautamkamath · 2026-10-16