RecodeX 重构消息，顶尖数学家正集体从学术界转向AI公司，包括菲尔兹奖得主齐默尔曼加入OpenAI，Anthropic数论学家借助AI模型攻破雅可比猜想等，AI实验室与数学家形成双向奔赴。