面向科学的大语言模型：一项关于 P 对 NP 问题的研究

在这项工作中，我们利用大语言模型 (LLMs) 来增强并加速关于 P versus NP 问题的研究，这是理论计算机科学与数学中最重要的开放问题之一。具体而言，我们提出苏格拉底式推理 (Socratic reasoning)，一个促进 LLM 进行深入思考以求解复杂问题的通用框架。苏格拉底式推理鼓励 LLM 递归地发现、求解并整合问题，同时促进自我评估与精炼。我们在 P vs. NP 问题上的试点研究表明，GPT-4 成功产出了一份证明纲要，并在 97 轮对话中进行了严格推理，得出“P $\neq$ NP”的结论，这与 (Xu and Zhou, 2023) 一致。该探究在 LLM 的广阔解空间中揭示了新颖的见解，为 LLM for Science 提供了启示。