**AI 数学能力跃升：从反证哥德巴赫猜想到纳维 - 斯托克斯方程**

_AI is getting good at math, here's why_

> AI 模型近期在解决数学难题上表现惊人，不仅找到了困扰学界 80 年的单位距离猜想反例，还证明了循环双覆盖问题并推进了黎曼猜想。文章分析认为，AI 的成功源于其独特的解题模式：通过一系列“提示”（Insight）与“工作”（Work）的交替迭代来解决问题，这与人类专家依赖背景知识的广度优先搜索策略不同。这种机制使得 AI 能够以指数级增长的复杂度快速探索数学空间，从而在人类尚未找到方向时率先突破。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-10-26 07:30（北京时间）
- **原文**：[打开原文](https://latent.space/p/ai-is-getting-good-at-math)