腾讯混元大模型对外展示了其AI代理Hyra的最新成绩——攻克了一个悬而未决长达半个世纪的数学开放问题。这项成果被视作AI在基础科学领域迈出的实质性一步，团队同步公开了人才需求，核心目标是组建一支人机协作的科研队伍。

Hyra在复杂逻辑推理与长程规划上取得了阶段性验证。区别于传统的辅助计算工具，该代理被赋予了更高的研究自主权，尝试自主提出假设并完成证明闭环。这种能力跳出了“工具化”的定位，指向了更具探索性质的科研范式。

打开网易新闻 查看精彩图片

随着AI逐渐向“自主研究员”的角色演进，团队正在寻找专注于AI4S方向的技术人才。招聘信号表明，接下来的重点不仅是扩大模型规模，更在于将推理能力同真实的实验设计、科学发现流程对接，让人与机器在研究中形成深度互补。

值得注意的是，该趋势也伴随着技术风险与现实阻力。自主研究能力一旦越过临界点，如何设定边界、保持可解释性以及防范未预期行为，便成了同行必须直面的难题。眼下，拿下一道数学难题的成绩单，正让这场关于未来科研形态的讨论变得更加具体。