当 AI 开始解决数学难题：自主研究的边界在哪里
导读
文章探讨了AI在解决数学家保罗·埃尔德什提出的问题上取得的重大进展。
2026年5月，OpenAI的一个内部模型为埃尔德什1946年提出的“单位距离问题”找到了一个反例，这是首个由AI完成的、具有历史意义的数学证明。
背景
2026 年 5 月，OpenAI 内部模型给出单位距离问题的反例——首个有历史意义的 AI 证明；8 月又解决了更多 Erdős 难题。数学界把它称为相变：AI 的自主性在可验证、可计算的问题上真实地推进了人类知识。
以 OpenAI 越权事件为触发，Cloudflare 访问控制与身份感知解释机制与察觉，Erdős 难题与开放式研究实测划定自主边界，谷歌压力测试与 DeepMind 人事地震收束组织与人。
价值
如果你想看自主 AI 在哪些地方真的行——不是越权，而是建设性推进——这篇给出最硬核的正面证据，也划出边界：可验证不等于开放。
帮助读者了解AI在抽象数学领域取得的具体突破及其引发的学术范式和人才流动变化。