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