OpenAI以“AI数学里程碑”突破自动推理边界，专家正在解析其意义
OpenAI shifts the boundary of automated reasoning with a "milestone in AI mathematics" that experts are now unpacking
AI 导读OpenAI的推理模型证伪了数学家保罗·埃尔德什在1946年提出的关于单位距离几何的猜想。该模型运用了代数数论领域的工具，而专家此前从未预料到这些工具会在此类问题中发挥作用。菲尔兹奖得主蒂姆·高尔斯称此成果为“AI数学发展的里程碑”，并警告称，我们可能已经进入一个人类在解决数学问题方面很难与AI竞争的时代。这项进展标志着自动化推理能力的重要突破。
来源：The Decoder：AI News · the-decoder.com