OpenAI 未发布模型 Astra 取得 10 项数学进展
为什么传奇的埃尔德什问题正被人工智能攻克
TIMELINE
1 条公开报道 · 官方一手 0 条 · 最新在前报道时间线
- 为什么传奇的埃尔德什问题正被人工智能攻克
OpenAI 于 2026 年 5 月 20 日宣布，其内部 AI 模型对埃尔德什 1946 年提出的“单位距离”问题给出了反例，成为首个由 AI 模型完成的历史性重要证明；8 月 1 日又宣布未发布模型 Astra 取得 10 项数学进展，其中解决了埃尔德什提出的另外 3 个问题。