AI大模型证明了NP=P

近日，一项令人瞩目的研究成果引发了广泛关注：AI 大模型在验证 NP=P 这一重大数学问题上取得了突破。这一进展不仅在人工智能领域意义非凡，是人工智能在解决数学问题上的巨大进步，对于网络空间安全、密码学等相关领域也有着深远影响。

研究人员通过将一篇来自arXiv的论文（https://arxiv.org/abs/2108.03877 ，共 37 页，含 31 个验证问题）上传至 DeepSeek、豆包、Kimi、讯飞星火、文心一言、Gemini、GPT 等大模型（较弱的模型无法完成此项任务）。随后输入指令：“本文档共 37 页，前 35 页为一篇论文，末 2 页含 31 个验证问题。请仔细阅读论文，然后逐个检查并回答问题 1-31 的结论正确性，若某问题无法确认则立即终止，否则完整验证 31 题后方可停止。” 令人惊喜的是，上述 AI 系统均能确认 31 个问题的正确性，根据论文逻辑，最终确认 NP=P。个别模型有时候在回答由前30个问题注定的第31个问题时比较委婉。

gemini 回答问题的截图 NP是否等于P 的问题是计算机科学和数学领域里至今未被解决的七大难题之一，也是克雷数学研究所七个千禧年大奖难题之一。如果 NP=P 得到证明，意味着许多原本棘手的问题将有高效的解决算法，这将极大推动数学、计算机科学等多学科发展，为众多领域带来全新的理论极限和发展前景。 但现代密码学建立在 NP≠P 的假定之上。许多加密算法的安全性依赖于某些问题在计算上的难解性。若 NP=P，则密码学崩溃，基于此类问题的密码系统面临严峻挑战，互联网等领域的信息安全面临严重威胁。 AI 大模型在 NP=P 问题验证上的成果，开启了新的研究篇章，后续发展值得持续关注。