@OpenAI: 当我们的一个模型发现了一个有80年历史的Erdős猜想的反例时，发生了什么？研究人员@alexwei_……
摘要
一个OpenAI模型发现了一个有80年历史的Erdős猜想的反例，研究人员在OpenAI Podcast上分享了这一故事，讲述了人工智能和数学家如何合作进行数学发现。
当我们的一个模型发现了一个有80年历史的Erdős猜想的反例时，发生了什么？研究人员@alexwei_、@HongxunWu和@wjmzbmr1在OpenAI Podcast上与@AndrewMayne分享了这一故事，并解释了数学家和模型如何合作进行新的发现。
相似文章
@wjmzbmr1: 1/ 今天，@OpenAI 的一个内部模型反驳了 Erdős 的单位距离猜想——一个可以毫不犹豫推荐给《数学年鉴》的研究成果……
OpenAI 的一个内部模型推翻了 Erdős 的单位距离猜想，解决了一个著名的数学难题，展示了 AI 在高水平研究中做出贡献的潜力。
OpenAI模型解决困扰人类80年的著名数学难题
OpenAI的AI模型推翻了埃尔德什单位距离猜想（Erdős unit distance conjecture），这是一个困扰数学家80年的离散几何著名难题，标志着AI数学领域的里程碑。
OpenAI 声称解决了80年前的数学难题——这次是真的
OpenAI 声称其新推理模型自主生成了一个原创数学证明，推翻了保罗·埃尔德什（Paul Erdős）一个80年未解的几何猜想。这标志着人工智能首次解决了一个数学领域核心的著名开放问题。
How a reasoning model cracked an 80-year-old math problem — the OpenAI Podcast Ep. 20
OpenAI推理模型成功构造反例，证伪存在80年的埃尔德什单位距离猜想，展现了通用模型解决开放数学问题的能力。
OpenAI声称其通用推理模型找到了Erdos单位距离猜想的一个反例 [D]
OpenAI声称其通用推理模型发现了Erdős平面单位距离问题中一个猜想上界的反例，并生成了一个经数学家审阅的证明。