ai-breakthrough

一条推文预告，很长时间以来最大的AI突破将于本月发布，但未提供细节。

OpenAI的AI模型推翻了埃尔德什单位距离猜想（Erdős unit distance conjecture），这是一个困扰数学家80年的离散几何著名难题，标志着AI数学领域的里程碑。

一位OpenAI研究员声称，其模型对离散几何中一个Erdős问题的解决是迄今为止AI领域最大的成就，但预测到年底时这一成就将被超越。

OpenAI 发布了 o1，一系列新的推理导向型 AI 模型，在科学、编码和数学等复杂任务上表现优于前代模型。预览版模型在国际数学奥林匹克竞赛问题上的解决率达到 83%，而 GPT-4o 仅为 13%，在竞技编程中达到第 89 个百分位。

OpenAI 模型自主解决了平面单位距离问题，这是由保罗·埃尔德什于1946年提出的著名数学开放问题。该模型发现了一组超越方格的新构造。这标志着人工智能首次自主证明了一个重要的数学开放问题。