姚顺宇为腾讯混元AI4S招聘，解决五十年数学难题

知名AI研究者姚顺雨亲自为腾讯混元AI4S团队招人。他没有发布详细的职位描述，而是附上了一项研究成果的简单消息：他们自研的智能体Hyra将一个存在50年之久的数学开放问题推进到了新的最佳结果。Hyra基于Hy3模型（总参数295B，激活参数21B），其找到的一个构造证明，使得整数集和与差问题中的上界可以被任意逼近。该智能体首先搜索更优结果，随后转换用自然语言提出数学构造和证明，运行了大约24小时。团队独立验证并在Lean 4中形式化了该证明。在AI4S的初步测试中，Hyra-1.0在数学、天文学、量子计算和药物设计等领域取得了引人注目的成果，包括解决了55个开放问题中的29个，从太阳黑子数据中发现了一个预测公式（R²=0.77），将一个量子路由算法改进了44.4%，并生成了一种PARP1候选分子。团队的目标是实现AI研究的全自动化，即AI提出假设、运行实验并迭代优化。为此，他们同时招募AI研究人员（专注于智能体架构、强化学习、上下文学习、评估、训练系统、GPU内核）和跨学科科学家，后者能将科学目标转化为可执行的任务，并判断AI结果的正确性。这一趋势反映了更深层的转变：AI正成为真正的研究者，正如一条热门评论所言，这可能是最后一枚完全由人类工作获得的菲尔兹奖。值得注意的是，OpenAI和Anthropic联合呼吁建立国际机制来协调AI发展速度，这突显了AI自我改进与对其控制需求的双重现实。