- 研究人员利用 OpenAI 的 GPT-4 探讨这一长期问题，采用苏格拉底方法让 AI 进行细致讨论。
- 该研究表明，像 GPT-4 这样的大语言模型能够发现新颖见解，为各领域的重大发现带来前景。
- 研究人员旨在通过多次迭代引导 GPT-4，运用角色扮演和复杂提示，探索该猜想背后的数学，从而证明 P 不等于 NP。
另请阅读：超级计算机的用途是什么？
研究人员利用 OpenAI 的 GPT-4 深入 P vs. NP 辩论，表明 AI 有潜力带来突破性发现。
AI 在解决 P vs. NP 难题中能扮演什么角色？
P 等于 NP 吗？这个问题提出已近 50 年，深入探讨了计算机的能力边界，尽管历经数十年的审查，仍未得到解答。现在，生成式 AI 加入了探索。
在他们题为《大语言模型用于科学：P vs. NP 研究》的论文中，第一作者 Qingxiu Dong 及其同事利用OpenAI的 GPT-4 大语言模型。他们采用所谓的苏格拉底方法，在多次聊天交互中引导 GPT-4。
大语言模型将如何塑造未来的科学探究？
Dong 等人断言，他们的工作展示了大语言模型如何发现新见解，并可能带来科学突破——他们称之为“LLMs for Science”的概念。
通过 97 次提示迭代，作者引导 GPT-4 对 P = NP 的复杂细节进行详细询问，每个提示前都有一段上下文陈述，以引导 GPT-4 的回答。他们使用“睿智的哲学家”或“擅长概率论的数学家”等角色，诱导 GPT-4 扮演特定角色。
他们的策略是引导 GPT-4 反驳 P 与 NP 相等。他们先假设两者相等，给出一个例子，然后揭示其缺陷——这种方法称为反证法。