OpenAI 证明数论难题，相关进展或为 P≠NP 研究提供线索

近期 OpenAI 内部模型宣称证明了解析数论领域悬置数十年的 Landau-Siegel 零点不存在，原始证明仅 8 页，后续经多位顶尖数学家压缩至 5 页，其「寻找极难、验证极易」的特性引发学界对 P vs NP 这一计算机科学圣杯问题的强烈讨论。OpenAI 随后放出数百篇数学相关手稿，在深度 3 电路下界、唯一博弈猜想证明、随机对数空间完全去随机化等多个 P vs NP 相关的外围核心阵地上取得突破，甚至出现人类数学家赶在 AI 发布前抢发相关成果的情况。不过学界专家普遍保持冷静，指出当前 AI 成果仍存在验证不全、可读性差、核心的一般布尔电路下界等关键路线仍为空白等硬伤，尚未真正触及 P vs NP 问题本身。目前学界对该问题的最终走向存在分歧，同时也有观点认为 AI 耗费海量算力搜寻证明、人类仅需短时验证结果的特性，本身就像是 P≠NP 的鲜活佐证。