不久前，来自微软亚洲研究院、北京大学、北京航空航天大学等机构的研究人员，通过进行了长达97轮的"苏格拉底式"严格推理，成功地让GPT-4得出了"P≠NP"的结论。

几个月前，数学天才陶哲轩在一篇博客中曾经提到，到了2026年，人工智能将与搜索引擎和符号数学工具结合，成为值得信赖的数学研究合作者。今年6月，来自加州理工学院、英伟达、麻省理工学院等机构的学者们构建了一个基于开源大型语言模型的定理证明器，名为LeanDojo。

这次的成就再次证明了大型语言模型确实具备进行科学研究和科学发现的潜力。要了解为什么这一成就如此重要，首先要理解"P/NP问题"的难度。作为克雷数学研究所在2000年公布的七个千禧年难题之一，"P/NP问题"在计算复杂性理论领域一直是未解之谜。

"P/NP问题"被描述为可能是理论计算机科学核心的未解问题，也是人类提出的最深刻问题之一。如果解决了"P/NP问题"，将彻底改变人类文明的进程。这个问题最早由数学家Stephen A. Cook和Leonid Levin在1971年提出，涉及到复杂性类P和NP是否相等的问题。