AI 为何开始擅长数学：LLM 深度优先搜索与人类广度优先的差异分析

作者分析 OpenAI 对 Erdős unit distance 猜想给出反例、Navier-Stokes 证明及 Anthropic 对 Fermat 定理形式化等成果，提出人类广度优先、LLM 深度优先的搜索差异模型。