【辟谣】破解世界数学难题！GPT-4 得出P≠NP？

欢迎来到遮面科技！

对于P/NP问题，相信大家或多或少都有所耳闻。它是千禧年大奖难题的一部分，七大难题包括庞加莱猜想和黎曼假设等。如果有人能解决这个问题，他们将获得克雷数学研究所提供的高达上百万美元的奖金。

P/NP 问题于 1971 年分别由史提芬·古克和列昂尼德·列文提出。多年来，许多人都投入到了该问题的研究之中。但有人认为，P/NP 的解决可能需要至少 100 年的时间。近年来，虽然不乏有人声称已经证明了P等于或不等于NP，但这些证明过程都存在漏洞。到目前为止，这个问题仍未得到解答。

---

现在，随着 AI大模型的快速迭代，有研究开始尝试使用 AI 技术来解决这些世界难题。前段时间来自微软研究院、北京大学、北航等机构的一篇论文被舆论推上风口浪尖。

根据论文中的描述，他们提出了一个能使 LLM 进行深入思考并解决复杂问题的通用框架：苏格拉底推理（Socratic reasoning）。基于该框架，LLM 可以递归地发现、解决并整合问题，同时还能进行自我评估和完善。并用GPT-4 成功地生成了一个证明模式，然后在 97 轮