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

作者梳理 OpenAI 今年在 Erdős 单位距离猜想、Cycle Double Cover、Navier-Stokes 等开放问题上的进展，以及 Anthropic 在费马大定理形式化和黎曼猜想上的工作，提出用提示序列长度 k 与分支因子 b 判断问题对 LLM 是否可解。