AI 正在变得擅长数学：原因何在

作者分析 OpenAI 和 Anthropic 近期的数学成果，认为模型的优势来自以计算和 token 换取更广、更持久的路径探索，并用验证器筛除错误证明。文章提出，问题所需的概念跳跃数、每一步的分支数与计算成本，有助于判断模型更可能解决哪些问题。作者认为，人类擅长缩小搜索范围，模型擅长快速探索路径，两者可以互补。