《Marcus on AI》审视 OpenAI 在 Erdős 问题上的成果

摘要

「Marcus on AI」对 OpenAI 在 Erdős 问题上的成果提出质疑。文中转述 Cal Newport 的邮件：OpenAI 用一款尚未发布的推理模型，通过 chain-of-thought 式「出声思考」，帮助找到一个反例，推翻了 Paul Erdős 80 年前提出的离散几何猜想；职业数学家从长篇推理记录中识别反例并改写为标准证明。审阅完整输出的数学家 Thomas Bloom 指出，研究者多认同 Erdős「猜想为真」的信念而专注求证，大模型工具却系统运用并扩展已有技术、寻找猜想为假的证据；AI 常沿人类认为不值得尝试的路径坚持，兼具超人耐心与广泛技术储备。作者另指出，近年 LLM 已与计算机辅助数学工具结合，系统探索人力难以持久钻研的问题空间。