姚顺雨挂帅腾讯混元AI4S团队：以50年数学难题成绩单招人

腾讯混元AI4S团队近期开始大规模招募，负责人姚顺雨并未发布常规职位描述，而是直接亮出一张'科研成绩单'：自研智能体Hyra将一个困扰数学界约50年的开放问题推进到了新的最优结果。这份成绩单的潜台词是——AI已经开始自主科研，需要更多人才加入扩大战果。

姚顺雨是AI for Science领域近年崛起的代表性人物，其核心研究方向是让大模型具备自主提出假设、设计实验、推导证明的能力。Hyra智能体在数学难题上的突破，标志着AI科研从'辅助工具'走向'独立研究员'的关键一步。腾讯混元在AI4S赛道的布局明显加速，与阿里达摩院、字节AI Lab形成正面竞争。

从更宏观的视角看，AI4S正在成为大模型公司的下一战场。OpenAI近期也公布了数学与理论计算机科学十项新成果，覆盖几何、密码学与计算复杂性等长期未解问题。当AI智能体能在数学定理证明、蛋白质结构预测、芯片设计等基础科研领域取得实质突破，'AI科学家'将从概念走向常态化。腾讯混元此时亮剑，时机精准。