🆕最新资讯🆕
最近,微软亚洲研究院、北京大学和北航的研究人员通过97轮苏格拉底式推理,成功让GPT-4得出了P≠NP的结论。这一结果证明了大语言模型在解决数学问题上的潜力。P/NP问题作为千禧年七大数学难题之一,一直是计算复杂度理论领域的未解之谜。如果能解决P/NP问题,将对人类文明进程产生深远的影响。在研究中,研究者通过引入数学家等角色,使用苏格拉底式推理,让GPT-4得出了P≠NP的结论。这一研究成果再次验证了陶哲轩在数学研究中AI与搜索和符号数学工具相结合的预言。详情请参考论文:https://arxiv.org/abs/2309.05689
来源:http://weixin.sogou.com/weixin?type=1&s_from=input&query=%E6%96%B0%E6%99%BA%E5%85%83
原文链接:https://aixinjiyuan.com/950.html,转载请注明出处~~~
评论0