AI 独立证明 80 年数学猜想
2026 年 5 月 25 日,OpenAI 内部推理模型证明了 Erdős 单位距离猜想。
事件经过
- 猜想背景:Paul Erdős 提出的离散几何学经典问题,悬宕约 80 年
- 证明过程:AI 内部模型独立产生可验证步骤
- 学界确认:外部数学家验证证明有效
- 历史意义:不是「AI 辅助人类」,而是「AI 独立证明」
行业影响
这是 AI 科学推理能力的里程碑事件。此前 AI 主要在模式识别和自然语言处理中表现优异,但在需要严格逻辑推导的数学证明领域,独立证明经典猜想代表了质的飞跃。
Anthropic 联合创始人曾预言 AI 将在科学发现中扮演越来越重要的角色,这一事件为预言提供了有力证据。
来源: Yam 新闻 + YouTube
链接: https://n.yam.com/Article/20260525969200