AI 攻破了计算机科学中一座 27 年的支柱，OpenAI 与 Anthropic 宣称
OpenAI 与 Anthropic 表示，其模型已给出指数时间假说的明显反驳，这一理论计算机科学支柱于 1999 年提出，证明已在 Lean 中形式化核查，但尚未经人类完全确认。据《科学》报道，Anthropic 统计有 800 多篇论文以该假说为前提，不过目前的实际影响仍然有限。这一进展值得关注，因为它动摇了一项长期理论基础，也表明前沿 AI 系统已触及数学中一个有争议的前沿，尽管验证仍未完成。
报道来源
- Hacker News (AI)2026-11-03 17:43