@sama: 一个通用模型解决了一个数学上的重大开放问题。未来几年我们会经常这么说，但…

X AI KOLs 2026/05/20 20:53 论文

general-purpose-model mathematics open-problem milestone ai-research

摘要

Sam Altman 宣布，一个通用AI模型解决了一个数学上的重大开放问题，称其为一个大里程碑，并对AI不断扩展的能力表示复杂感受。

一个通用模型解决了一个数学上的重大开放问题。未来几年我们会经常这么说，但这算是一个相当大的里程碑。我对AI将大大扩展我们对世界的理解感到非常兴奋，但今天，我仍然有复杂的感受。

查看原文

查看缓存全文

缓存时间: 2026/05/20 22:38

一个通用模型解决了一个重要的数学开放问题。

我们在未来几年会经常这么说，但这确实是一个相当重要的里程碑。

我非常兴奋AI能极大扩展我们对世界的理解，但今天依然有种复杂的心情。

蒂莫西·高尔斯 @wtgowers (@wtgowers): 如果你是一位数学家，那你最好先坐下再继续读下去。

相似文章

X AI KOLs

Sam Altman 对 AI 模型的快速进步表示惊讶，并强调由于这一意外进展，确保安全的紧迫性。

Reddit r/singularity

OpenAI的通用推理模型自主解决了平面单位距离问题，这是由保罗·埃尔德什（Paul Erdős）于1946年提出的一个著名数学开放问题，标志着人工智能首次独立解决了一个数学领域的核心开放难题。

Reddit r/singularity

OpenAI的AI模型已展示了解决大量数学问题的能力，且预计将持续改进。

X AI KOLs

OpenAI在数学领域取得了一项突破：一个人工智能模型自主解决了平面单位距离问题，这是自1946年由Paul Erdős提出的一个著名未解问题。该模型发现了一类全新的构造，其性能优于正方形网格。这标志着人工智能首次独立解决了一个数学领域的重要开放问题。

TLDR AI

OpenAI 未发布的模型 Astra 据称解决了十大开放数学难题，结果已通过 Lean 证书形式化验证，标志着 AI 数学推理能力的重大飞跃。