💡 技巧与观点 · 2 小时前

OpenAI 于 2026 年 5 月 20 日宣布，其内部 AI 模型对埃尔德什 1946 年提出的"单位距离"问题给出了反例，成为首个由 AI 模型完成的历史性重要证明；8 月 1 日又宣布未发布模型 Astra 取得 10 项数学进展，其中解决了埃尔德什提出的另外 3 个问题。

📎 来源：Hacker News 热门（buzzing.cc 中文翻译） | https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803
🔗 原文：AI大事件