OpenAI推理模型攻克Erdős猜想，菲尔兹奖得主称其为AI数学里程碑

OpenAI的一个推理模型解决了一个自1946年以来悬而未决的数学猜想——数学家保罗·Erdős提出的关于单位距离几何的猜想。据技术社区分享的文章介绍，该模型采用了代数数论中的工具，这些工具是该领域的专家此前未曾预料到的。菲尔兹奖得主蒂莫西·高尔斯称这一结果是“AI数学的一个里程碑”，并警告说：“我们很可能已经进入了一个时代，人类在解决数学问题方面将很难与AI竞争。”该成果引发了数学和AI领域的广泛关注与讨论。