首个足以登上数学顶刊的AI证明诞生，且不会止步于此

OpenAI的内部推理模型推翻了一个自1946年以来悬而未决的数学猜想——由数学家保罗·埃尔德什提出的单位距离猜想。该证明使用了代数数论工具，令专家们感到意外。菲尔兹奖得主蒂莫西·高尔斯称这是“AI数学的里程碑”，并警告人类可能即将进入一个难以在解决数学问题上与AI竞争的时代。