AI模型在数学开放问题上接连取得突破

2026年，OpenAI与Anthropic等机构接连宣布其AI模型在数学开放问题上给出证明与反例，引发对模型解题方式的讨论。10月23日，作者Ankit Maloo在Latent Space撰文分析这一现象，认为关键在于模型能以深度优先方式把每条可行路径走完，再用自动验证器剪枝，从而解释AI为何突然擅长数学。目前相关进展仍集中在模型给出证明与反例、以及对其解题机制的分析层面。

AI 根据报道生成 · 1 小时前更新

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