7.4
深览指数
科技量子位·一水··AI 生成
姚顺雨拿50年数学难题成绩单，招人了
腾讯混元AI团队负责人姚顺雨发布招聘，以一张科研成绩单代替传统JD：其自研研究智能体Hyra，在数学、天文、量子计算和药物设计等多个领域取得突破，其中最引人注目的是解决了一个困扰数学家约50年的加法组合学开放问题，通过构造证明其理论上限可无限逼近。文章指出，Hyra已从单纯的搜索工具进化为参与研究全流程（从发现线索到形式化证明）的AI研究员。团队招聘目标指向两类人：强化Agent架构的AI研究员，以及既懂AI又懂具体科学问题的交叉型人才，旨在组建一支“人机科研队伍”。文章还关联了AI递归自我改进的风险，使这次招聘成为AI从辅助工具向独立研究者进化的一个行业信号。原文 ↗
核心观点
- ▍腾讯混元AI推出的研究智能体Hyra，已经能够自主参与从发现问题到提出构造、再到给出形式化证明的完整数学研究流程，标志着AI从辅助工具进化为独立研究者。
- 01Hyra解决了一个困扰数学家约50年的加法组合学开放问题，即能否设计出一组数字，使得加法结果数远多于减法，并证明其理论上限（2）可以无限逼近。
- 02Hyra首先在有限范围内通过暴力搜索找到更好的结果，然后转向用自然语言提出数学构造和论证，整个过程约24小时，最终给出了Lean 4形式化证明。
- 03Hyra-1.0在首批AI4S测试中，刷新了55道数学难题中的29道，并包括太阳黑子周期预测、量子比特路由算法、PARP1候选药物设计等多个领域的突破。
- 04Hyra基于腾讯混元开源的Hy3模型，该模型总参数295B，激活参数21B。
- 05姚顺雨的招聘没有详细JD，只展示了Hyra的科研成绩单，暗示团队需要的是两类人：强化Agent架构的AI研究员，以及既懂AI又懂科学问题的交叉型人才。
- 06文章引用了去年腾讯混元招聘大模型数据实习生，明确要求物理、化学、生物专业背景，工作内容涉及设计学科知识标注规则、构建科学领域评估基准、训练具备学科思维链能力的科学大模型。
反方 / 局限
- — 混元官方强调，目前Hyra-1.0的成果还只是初步尝试，可能比较粗糙，尚不能完全替代人类专家。
- — AI能力的发展存在迅速加速并超出人类理解或控制能力的风险，OpenAI和Anthropic已联合呼吁建立国际协调机制，这构成了对AI自进化路线的潜在制约。
10 分钟 · 3 卡片 · 8 资料
读原文 →