新知榜官方账号
2023-09-15 01:22:46
近日,微软亚洲研究院、北大、北航等机构的研究人员,通过97个回合的「苏格拉底式」严格推理,成功让GPT-4得出了「P≠NP」的结论!这是一篇介绍GPT-4推理过程和苏格拉底式推理的解决框架的文章。同时,也展示了大模型在解决复杂问题中的潜力和可行性。
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)。简单讲,苏格拉底方法就是让我们「一步一步思考」,提出一系列问题激发批判性思维。这对于大模型来说,如果能够进行批判性思考,就可以针对复杂问题提出高效的解决方案。
微信扫码咨询
相关工具
相关文章
相关快讯
推荐
阿里Accio中文版上线!一键搞定复杂采购
2025-08-19 09:13
视频“用嘴编辑”的时代来了,但钱包顶得住吗?
2025-08-15 17:59
智谱新模型GLM-4.5V全面开源,玩家们有福啦!
2025-08-12 17:56
扎心文案+AI插画=爆款!揭秘8万赞视频的制作全流程
2025-08-12 10:08
GPT-5没你想的那么好,附实测体验~
2025-08-11 11:07
一站式搞定AI绘图+视频,AI短片效率飙升的秘密在这儿!
2025-08-08 09:26
打工人新神器!10款国产AI,让你告别996!
2025-08-08 09:24
豆包视觉推理深度体验,AI也能“边看边想”了!
2025-08-08 09:19
300美元的AI男友来了!马斯克的情感生意从女友做到男友
2025-08-01 17:56
Agent智能体:2025年企业新员工,月薪仅需一度电?
2025-07-30 17:49