姚順宇がTencent Hunyuan AI4Sチームを採用、50年来の数学問題をAIが解決

著名AI研究者姚顺雨已亲自开始为腾讯混元AI4S团队招募人才。他没有发布详细的职位描述，而是贴出了一条简短消息，附带一项研究成果：他们自主开发的智能体Hyra将数学中一个存在50年的开放问题推进到了新的最佳结果。Hyra基于混元3模型（总参数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自我改进与需要控制的双重现实。