GPT-4通过苏格拉底式推理证明P≠NP

新知榜官方账号

2023-09-15 01:22:46

GPT-4通过苏格拉底式推理证明P≠NP

近日,微软亚洲研究院、北大、北航等机构的研究人员,通过97个回合的「苏格拉底式」严格推理,成功让GPT-4得出了「P≠NP」的结论!这是一篇介绍GPT-4推理过程和苏格拉底式推理的解决框架的文章。同时,也展示了大模型在解决复杂问题中的潜力和可行性。

关键词

  • 大语言模型
  • P≠NP
  • 苏格拉底式推理
  • 数学难题
  • LLM
  • 科学研究

摘要

GPT-4通过97轮苏格拉底式推理,成功证明P≠NP问题。本文介绍了GPT-4的推理过程和苏格拉底式推理的解决框架。同时,也展示了大模型在解决复杂问题中的潜力和可行性。

正文

数学天才陶哲轩曾在一篇博客中称,2026年,AI将与搜索和符号数学工具相结合,成为数学研究中值得信赖的合著者。6月,加州理工、英伟达、MIT等机构的学者,就构建了一个基于开源LLM的定理证明器LeanDojo。如今,GPT-4用出色的表现再次证明,LLM的确有进行科学研究和科学发现的能力。

P/NP难题作为美国克雷数学研究所(CMI)在2000年公布的七个千禧年难题之一,「P/NP问题」目前依然是理论信息学中计算复杂度理论领域里的未解之谜。如果解决解决P/NP难题,将彻底改变人类文明进程。1971年,数学家StephenA.Cook和LeonidLevin相对独立地提出这个问题:两个复杂度类P和NP是否是恒等的?具体来说,一些永远无法通过简单计算得到答案的问题,就属于P/NP问题。

在这项研究中,研究者GPT-4学会了一种「苏格拉底式推理」。他们引入了五个不同的角色(比如精通概率论的数学家),作为协助证明者,根据自己擅长证明不同的部分。GPT-4用这种方法,开发了一种推理路径,得出了和北航KeXu、北工商GuangyanZhou(论文三作和四作)最近提出结果一致的结论!

研究人员恰巧就从中汲取了灵感,提出一种通用问题的解决框架——苏格拉底式推理(SocraticReasoning)。简单讲,苏格拉底方法就是让我们「一步一步思考」,提出一系列问题激发批判性思维。这对于大模型来说,如果能够进行批判性思考,就可以针对复杂问题提出高效的解决方案。

本页网址:https://www.xinzhibang.net/article_detail-11418.html

寻求报道,请 点击这里 微信扫码咨询

相关工具

相关文章

相关快讯