在这期 OpenAI 播客中,主持人 Andrew Maine 邀请了来自 OpenAI 推理研究团队(Reasoning Research Team)的三位核心研究员:Alexander Wei、Hongxun Wu 和 Lijie Chen。他们详细分享了 OpenAI 推理模型如何成功推翻一个由著名数学家保罗·埃尔德什(Paul Erdős)提出的、长达 80 年之久的数学猜想 [00:00]。
以下是本期播客内容的详细拆解:
1. 数学突破:推翻埃尔德什的“单位距离猜想”
猜想背景:该问题属于组合几何领域。埃尔德什当年的原猜想认为,在平面上排列 $n$ 个点并使它们之间刚好相距 1 英寸的“最优解”是将点排列在正方形网格(Square Grid)中 [06:45]。该问题是该领域的中心问题之一,埃尔德什甚至在上世纪为此悬赏了 500 美元 [13:39]。
模型的证明:模型证明了正方形网格根本不是最优解,并利用高深的代数数论(Class Field Theory)构建了一种全新的、高度对称的几何设计,大大突破了原有的数量渐进界限 [07:46, 12:50, 16:03]。









