OpenAI模型證偽80年前埃爾德什猜想

OpenAI 採用了一種新的、未發布的推理模型，發現了一個反例，駁斥了 80 年前由 **Paul Erdős** 提出的離散幾何學猜想。該模型利用廣泛的思維鏈推理，系統地應用各種技術尋找證據，證明該猜想是錯誤的，而人類數學家由於認為該猜想是正確的這一偏見，大多避免了這條路徑。專業數學家審閱了模型的廣泛輸出，以確定特定的反例，並將其重新表述為標準證明。雖然結果表明該模型能夠堅持通過乏味的邏輯路徑，但由於過程太過昂貴，具體過程可能不適合廣泛的實際應用。