AI 数学证明进展与提示序列分析

2026年10月23日，Latent Space 发文梳理 OpenAI 与 Anthropic 今年在数学开放问题上的进展，涉及 Erdős 单位距离猜想的反例、CDC 问题证明和 Navier-Stokes 证明。文章提出用提示序列长度 k 与分支因子 b 来预测模型能解哪类问题，从提示序列与分支因子角度分析模型解题路径。报道未给出上述成果的具体发布时间、模型版本或适用条件，也未说明相关方法是否收费或开放使用。

AI 根据报道生成 · 8 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。