最近，有一個(gè)新聞，大概是說(shuō)一些機(jī)構(gòu)的研究人員合作，通過(guò)“蘇格拉底式”嚴(yán)格推理，成功讓GPT-4得出了P≠NP的結(jié)論！

這句話的表述就很“藝術(shù)”，讓人很容易理解成為: 研究人員通過(guò)Chatgpt-4的幫助，讓它進(jìn)行某種模式的推理，在事實(shí)上得到P≠NP的結(jié)論。這樣P vs NP這個(gè)數(shù)學(xué)界和理論計(jì)算機(jī)界的著名問(wèn)題以被否定形式的解決。

然而，他們的論文更多的可能是那句話的字面意思：我們把問(wèn)題和某些人的之前論文中做過(guò)的東西的輸入Chatgpt，然后Chatgpt說(shuō)，你是對(duì)的?！缓?，事實(shí)上證明是否真成功證明，我不負(fù)責(zé)。

或者，我把這個(gè)故事添油加醋說(shuō)一個(gè)故事性更強(qiáng)的版本：

兩位數(shù)學(xué)研究背景不是很深的學(xué)者 ，數(shù)月前在預(yù)印本(arXiv)網(wǎng)站上寫(xiě)了一篇解決P vs NP的文章，無(wú)人理會(huì)。這在數(shù)學(xué)界很常見(jiàn)，每天都有人聲明解決數(shù)學(xué)的某些大問(wèn)題，但發(fā)表的論文一堆低級(jí)錯(cuò)誤。這兩位學(xué)者在最近又參與寫(xiě)了一篇文章，把自己做的東西提給Chatgpt問(wèn)：對(duì)不對(duì)？Chatgpt說(shuō)，你對(duì)，你都對(duì)！這回，事件上了熱搜。

按說(shuō)，如果是一個(gè)疑似成功的證明，在很多地方早就炸了。但是似乎數(shù)學(xué)界的相關(guān)討論區(qū)似乎沒(méi)有任何波瀾。我們?cè)谝患覍?zhuān)注AI研發(fā)的公司網(wǎng)站(Hugging Face)的論文討論區(qū)，我們找到了一些關(guān)于這篇文章的評(píng)論。評(píng)論大致有這幾種意見(jiàn)：

1、 直接在具體的技術(shù)性細(xì)節(jié)上提出質(zhì)疑：論文中引用其他文獻(xiàn)的一些結(jié)論本身可能是錯(cuò)誤的(論文中引用了本論文作者之前的文章中的結(jié)論)。那些引用的結(jié)論，沒(méi)有在復(fù)雜性理論層面解決問(wèn)題的障礙。

2、 利用之前經(jīng)驗(yàn)的質(zhì)疑：一般一篇大問(wèn)題的解決文章，都會(huì)引出很多很厲害的子結(jié)論，但這篇文章沒(méi)有。

3、 利用數(shù)學(xué)界的反映佐證：要是有希望是要給正確的證明，數(shù)學(xué)界早就歡呼雀躍了，然后并沒(méi)有。

這些質(zhì)疑的人中，還有人實(shí)名的。即是說(shuō)，實(shí)名反對(duì)。

目前，克雷研究所的千禧年問(wèn)題的P vs NP的主頁(yè)，該問(wèn)題還是“未解決”狀態(tài)。

關(guān)注?哆嗒數(shù)學(xué)網(wǎng)?每天獲得更多數(shù)學(xué)趣文