RecodeX 重构消息，顶尖AI研究人员认为，最新的“推理”模型使AI在数学领域更具实用性，数学正成为衡量AI进展的关键测试方式，OpenAI、Google DeepMind和Anthropic等公司正利用高等数学来展示AI模型的真实能力。