AI 为何突然擅长解数学难题：提示序列与分支因子框架的解释

作者分析 OpenAI 5 月发现 Erdős unit distance 猜想反例、7 月前解决十余个开放问题及 Navier-Stokes 证明、Anthropic 形式化费马大定理等工作，提出用 Gowers 的提示序列复杂度（2^k + t）和分支因子 b 解释模型能力。