OpenAI 于 2026 年 5 月 20 日宣布，其内部 AI 模型对埃尔德什 1946 年提出的"单位距离"问题给出了反例，成为首个由 AI 模型完成的历史性重要证明；8 月 1 日又宣布未发布模型 Astra 取得 10 项数学进展，其中解决了埃尔德什提出的另外 3 个问题。
查看原文：https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803
来源：Hacker News 热门（buzzing.cc 中文翻译）
未经允许不得转载：AI之家 » 为什么传奇的埃尔德什问题正被人工智能攻克
