AI 为何突然擅长数学证明：从提示序列与分支因子看模型解题方式

作者以 OpenAI 找到 Erdős 单位距离猜想反例、证明 Cycle Double Cover 与 Navier-Stokes，以及 Anthropic 推进 Fermat 大定理形式化和 Riemann 假设相关工作为例，分析 LLM 为何在数学问题上进展迅速。