OpenAI的AI模型解决了困扰人类数学家80年的埃尔德什单位距离猜想，这是离散几何领域的一个著名难题。这一突破代表了AI辅助数学的重要里程碑，包括菲尔兹奖得主蒂姆·高尔斯在内的顶尖数学家都对此表示赞赏。虽然AI没有开发新的数学技术，但它成功结合了多个数学子领域的现有思想构建了完整证明，该证明随后由人类数学家进行了完善。
背景
埃尔德什单位距离猜想是离散几何领域一个自1940年代以来一直困扰数学家的长期难题。AI在数学领域一直在稳步发展，从解决基本算术到处理复杂证明，这一成就代表了AI数学能力的重大飞跃。
- 来源
- Ars Technica
- 发布时间
- 2026年6月1日 19:00
- 评分
- 9.0 / 10