热点事件持续更新
AI 数学能力突进：从 Erdős 反例到 Navier-Stokes
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026 年 10 月 23 日，Latent Space 刊文梳理 AI 在数学领域的一系列进展。文章称，OpenAI 于 2026 年 5 月找到 Erdős 单位距离猜想的反例，9 月又给出 Navier-Stokes 证明；Anthropic 则推进了费马大定理的形式化与黎曼猜想的界。作者据此分析模型为何突然擅长数学证明，并归纳出从 Erdős 反例到 Navier-Stokes 的搜索模式。报道未说明这些成果的具体形式、验证方式或发表渠道，也未给出各时间点的更多细节。
AI 根据报道生成 · 31 分钟前更新
最新进展10月23日 23:19
Latent Space 梳理 OpenAI 与 Anthropic 近半年数学成果，分析模型为何突然擅长证明。报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- Latent Space精选AI 为何突然擅长数学证明：从 Erdős 反例到 Navier-Stokes 的搜索模式分析
作者梳理 OpenAI 从 5 月找到 Erdős 单位距离猜想反例、到 9 月给出 Navier-Stokes 证明，以及 Anthropic 推进费马大定理形式化与黎曼猜想界的工作，试图解释模型为何突然擅长数学。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。