首個足以登上數學頂刊的AI證明誕生，且不會止步於此

OpenAI的內部推理模型推翻了一個自1946年以來懸而未決的數學猜想——由數學家保羅·埃爾德什提出的單位距離猜想。該證明使用了代數數論工具，令專家們感到意外。菲爾茲獎得主蒂莫西·高爾斯稱這是“AI數學的里程碑”，並警告人類可能即將進入一個難以在解決數學問題上與AI競爭的時代。