腾讯姚顺雨公开为混元AI4S招人

7月30日，腾讯首席AI科学家姚顺雨在社交媒体上公开为混元“AI4S”（AI for Science）方向招人。他转发了一篇混元团队的推文，内容显示一篇题为《Settling the Optimal Exponent Relating Sumsets and Difference Sets》的论文，借助研究智能体Hyra和Hy3模型，拿下了50多年来的重大数学进展。这可不是小打小闹——50年，多少团队在同一个问题前碰壁，这次靠AI智能体给破了局。