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

作者梳理 OpenAI 与 Anthropic 今年在数学开放问题上的进展，包括 OpenAI 对 Erdős 单位距离猜想给出反例、证明 Cycle Double Cover 问题，以及 Anthropic 对费马大定理的形式化工作，并提出用提示序列长度 k 与分支因子 b 预测模型能解哪类问题。