數(shù)學(xué)天才陶哲軒的研究也用上了 AI 工具 GPT-4。有了 GPT-4，你想做的，只需復(fù)制、粘貼、一鍵完成！
當(dāng)紅炸子雞 ChatGPT，也成為數(shù)學(xué)天才陶哲軒的研究工具了。
近日，他在網(wǎng)上稱自己發(fā)現(xiàn)了一些 ChatGPT 的小用例。
首先，它很擅長(zhǎng)解析代碼格式的文檔（在這種情況下是#arXiv 搜索的 API），然后返回一個(gè)正確格式的代碼查詢（后來(lái)它還提供了一些工作的 python 代碼，以我要求的方式調(diào)用這個(gè) API，盡管我不得不手動(dòng)安裝一個(gè)包來(lái)使它運(yùn)行）。其次，我讓它想出一些，聰明的學(xué)生在本科線性代數(shù)課上可能會(huì)問(wèn)的問(wèn)題（為此我提供了一些樣本題目），它給出了一些很好的例子，讓我對(duì)課程可能方向，以及潛在的作業(yè)問(wèn)題有所啟發(fā)。
總之，我發(fā)現(xiàn) ChatGPT 等 AI 工具雖然不能幫我攻克一個(gè)未解決的數(shù)學(xué)問(wèn)題，但對(duì)其他工作相關(guān)的問(wèn)題很有用，盡管事后經(jīng)常需要進(jìn)行一些手動(dòng)調(diào)整。
GPT-4 和 GPT-3.5 差別不大
GPT-4 是怎樣擅長(zhǎng)解析代碼格式的文檔？
陶哲軒讓 GPT-4 對(duì)所有的 arXiv 文章進(jìn)行搜索查詢，這些文章的元數(shù)據(jù)是一個(gè)給定的關(guān)鍵詞（比如，「Collatz」），并且是在一定的日期范圍內(nèi)提交的（比如，在 2011-2016 之間）。根據(jù)下面的文檔，這樣的查詢的格式是什么？
對(duì)此，GPT-4 不僅給出了代碼，還列出了查詢的分類。
網(wǎng)友問(wèn)，作為一個(gè)閱讀工具，給定一篇論文，讓它提出審稿人或演講者可能會(huì)問(wèn)哪些問(wèn)題？在這一方面 GPT-4 做得如何？
對(duì)此，陶哲軒拿去測(cè)評(píng)了一番，大贊「確實(shí)不錯(cuò)」。
「這里是最近一篇論文的前幾頁(yè)。你能提出一些聽眾在聽關(guān)于這篇論文的講座時(shí)可能提出的問(wèn)題嗎？」
ChatGPT 回答「當(dāng)然，這里有一些數(shù)學(xué)家在聽了關(guān)于這篇論文的講座后可能會(huì)問(wèn)的問(wèn)題」。然后，巴拉巴拉列出了 7 個(gè)問(wèn)題。
細(xì)心網(wǎng)友發(fā)現(xiàn)陶哲軒發(fā)帖的截圖是 GPT-4。
便問(wèn)道，「你認(rèn)為以前的 ChatGPT 和基于 GPT-4 模型的新助手之間有什么區(qū)別？」
陶哲軒稱，「到目前為止，GPT-4 的答復(fù)稍微有用一些，而且符合我的要求，但我沒(méi)有看到質(zhì)量上的重大差別?！?/p>
ChatGPT 加入工作流
ChatGPT 的誕生，許多人都在驚呼自己的工作要被 AI 替代了。
就連天才數(shù)學(xué)家陶哲軒也上手 ChatGPT 了。
3 月 5 日，陶哲軒在網(wǎng)上稱自己決定嘗試以不同的方式將 AI 工具納入我的工作流程。其中就包括 GPT-4、DeepL 等工具。
在此期間，ChatGPT 隱藏功能都被他挖掘了出來(lái)，比如尋找公式、解析代碼格式的文檔、改寫論文語(yǔ)句等等。
比如，ChatGPT 有時(shí)可以在數(shù)學(xué)中做一個(gè)半成品的語(yǔ)義檢索，也就是用它來(lái)生成一些提示。
比如，陶哲軒讓 ChatGPT 從描述中識(shí)別庫(kù)默爾定理，它沒(méi)能給出正確答案，但根據(jù)它給出的近似答案（Legendre 公式）。
對(duì)此，陶哲軒稱，人工智能在數(shù)學(xué)中的作用是提供一個(gè)初步的近似答案，然后可以結(jié)合傳統(tǒng)搜索引擎輕松找到正確答案。
陶哲軒還發(fā)現(xiàn)了 ChatGPT 在處理數(shù)學(xué)問(wèn)題時(shí)的亮點(diǎn)，能夠識(shí)別不同語(yǔ)言的數(shù)學(xué)概念音譯版。
另外，可以要求 ChatGPT 轉(zhuǎn)換從 MathSciNet 獲得的一堆參考文獻(xiàn)，并在 LaTeX 書目環(huán)境下將其格式化為 \bibitems。
然而 ChatGPT 就沒(méi)有犯錯(cuò)的時(shí)候嗎？
在一個(gè)關(guān)于「素?cái)?shù)是否無(wú)窮多」的證明問(wèn)題中，陶哲軒發(fā)現(xiàn) ChatGPT 給出的答案并不是完全正確的。
從另一面看，他發(fā)現(xiàn) ChatGPT 給出的論證思路是可以被固定下來(lái)的，并且這個(gè)思路他之前都從未見過(guò)。
復(fù)制、粘貼、一鍵完成！
挖掘 GPT-4 的用例，網(wǎng)友們也是花了不少功夫。
讓 GPT-4 評(píng)審論文不僅合理，而且還能擊中要點(diǎn)。
「作為一個(gè)學(xué)者，我不知道如何看待這個(gè)問(wèn)題：我把我的一篇舊論文放到 GPT-4 中（分成兩部分），要求一個(gè)經(jīng)濟(jì)社會(huì)學(xué)家進(jìn)行嚴(yán)厲但公平的同行評(píng)審。」
它創(chuàng)造了一個(gè)完全合理的同行評(píng)審，踩中了我的評(píng)審員提出的許多要點(diǎn)。
對(duì)許多人來(lái)講，想要做什么，直接問(wèn) GPT-4，「復(fù)制、粘貼、一鍵完成！」
就比如用 GPT-4 做一個(gè)復(fù)雜的游戲。
網(wǎng)友把 GPT-4、Replit、MidJourney、Claude 組建成一個(gè)人工智能助手團(tuán)隊(duì)，從頭開始創(chuàng)建了一個(gè) 3D 太空跑酷游戲。
然鵝，自己竟對(duì) Javascript 或 3D 游戲編程一無(wú)所知。
參考資料：
https://mathstodon.xyz/@tao
本文來(lái)自微信公眾號(hào)：新智元 （ID：AI_era）
廣告聲明：文內(nèi)含有的對(duì)外跳轉(zhuǎn)鏈接（包括不限于超鏈接、二維碼、口令等形式），用于傳遞更多信息，節(jié)省甄選時(shí)間，結(jié)果僅供參考，IT之家所有文章均包含本聲明。