OpenAI模型证伪80年前埃尔德什猜想

OpenAI 使用了一种新的、未发布的推理模型，发现了一个反例，驳斥了80年前由**保罗·埃尔多斯**（Paul Erdos）提出的离散几何猜想。该模型利用广泛的思维链推理，系统地应用各种技术寻找证据，证明该猜想是错误的。而人类数学家由于倾向于认为该猜想是成立的，因此大多避免走这条路。专业数学家们审阅了模型的广泛输出，以确定具体的反例，并将其重新表述为标准证明。虽然结果表明该模型能够坚持走过乏味的逻辑路径，但由于该过程可能过于昂贵，因此不太可能被广泛应用于实践。