陶哲轩预言成真：GPT-4成功证明P≠NP！利用97轮「苏格拉底式推理」揭开世界数学难题

这篇文章介绍了GPT-4通过97轮「苏格拉底式推理」成功得出了P≠NP的结论，实现了陶哲轩的预言。文章摘要指出了此次研究的关键字包括问题、多项式、结论等，而这一研究成果来自于微软亚洲研究院、北大、北航等机构的研究人员共同努力。这一成果的背后是对数学定理的深度研究，展示了大语言模型在数学领域的潜力。

原文还提到了论文的链接以及作者的信息，作者简要介绍了自己微信号为AI_era，是智能+中国主平台的编辑。文章来源于新智元，该平台致力于推动中国从互联网+迈向智能+新纪元，关注人工智能、机器人等前沿领域的发展，以及人机融合对社会与文明进化的影响。