OpenAI 推理模型独立证明 80 年数学猜想，AI 科学推理能力质变

AI 证明 80 年数学猜想

2026 年 5 月 21 日。

• 问题: Erdos 单位距离猜想（1946 年提出）
• 方式: AI 推理模型独立产生可验证步骤
• 验证: 外部数学家独立确认
• 技术: 引入代数数论方法
• 意义: 首次由 AI 自主解决重大未解数学问题

来源: OpenAI
链接: https://openai.com/index/model-disproves-discrete-geometry-conjecture/