OmniTools 8月6日消息，OpenAI 于 2026 年 5 月 20 日宣布，其内部 AI 模型针对保罗·埃尔德什 1946 年提出的“单位距离”问题构造出反例，成为首个由 AI 完成的历史性重要数学证明。8 月 1 日，OpenAI 进一步披露其未发布的模型 Astra 在数学领域取得 10 项进展，其中包含对埃尔德什提出的另外 3 个问题的解决。相关成果尚未正式发布，亦未公开技术细节。
