AI 为什么正在变得擅长数学

文章分析 OpenAI 和 Anthropic 近期数学成果背后的共同机制，认为模型通过并行智能体、自动验证和失败路径积累，把人类需要长期坚持的探索转化为可扩展的计算搜索。作者用提示数量、分支因子和验证成本解释模型更适合解决哪些问题，并指出人类仍更擅长压缩搜索空间和提出关键概念跃迁。