为何 LLM 正在攻克数学难题：提示、分支因子与验证机制

作者认为，LLM 借由深度优先搜索、并行智能体、自验证和编排机制，正在解决 OpenAI 与 Anthropic 此前推进的多项数学问题。文章以 Erdős 单位距离猜想、CDC、Navier-Stokes 和 Fermat 定理为案例，指出模型特别适合概念跳跃较少、分支因子较低且剩余工作繁杂的问题。