AI风向标
为什么传奇的埃尔德什问题正被人工智能攻克
OpenAI 于 2026 年 5 月 20 日宣布，其内部 AI 模型对埃尔德什 1946 年提出的"单位距离"问题给出了反例，成为首个由 AI 模型完成的历史性重要证明；8 月 1 日又宣布未发布模型 Astra 取得 10 项数学进展，其中解决了埃尔德什提出的另外 3 个问题。
详细介绍
OpenAI 于 2026 年 5 月 20 日宣布，其内部 AI 模型对埃尔德什 1946 年提出的"单位距离"问题给出了反例，成为首个由 AI 模型完成的历史性重要证明；8 月 1 日又宣布未发布模型 Astra 取得 10 项数学进展，其中解决了埃尔德什提出的另外 3 个问题。
AI HOT 详情：https://aihot.virxact.com/items/cmsgbawl0001iro5qajirh4qh
原文链接：https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803