AI做題家卷瘋了:高數考試正確率81%,競賽題成績超過計算機博士

高數考不好,不知道是多少人的噩夢。

如果說你高數考得還不如AI好,是不是就更難以接受了?

沒錯,來自OpenAI的Codex已經在MIT的7門高數課程題目中正確率達到81.1%,妥妥的MIT本科生水平。

課程范圍從初級微積分到微分方程、概率論、線性代數都有,題目形式除了計算、甚至還有畫圖。

這件事最近還登上了微博熱搜。

△“僅”得81分,對AI的期待也太高了吧

現在,谷歌那邊又傳來了最新大消息:

不止數學,我們的AI甚至在整個理工科上,都已經拿到最高分啦!

看來在培養“AI做題家”這件事上,科技巨頭們已經捲出了新高度。

谷歌這個最新AI做題家,參加了四門考試。

數學競賽考試MATH,以往只有三屆IMO金牌得主才拿過90分,普通的計算機博士甚至只能拿到40分左右。

至於別的AI做題家們,以前最好成績只有6.9分……

但這一次,谷歌新AI卻刷到了50分,比計算機博士還高。

綜合考試MMLU-STEM,內含數理化生、電子工程和計算機科學,題目難度達到高中甚至大學水平。

這一次,谷歌AI“滿血版”,也都拿到了做題家中的最高分,直接將分數拉高了20分左右。

小學數學題GSM8k,直接將成績拉升到78分,相比之下GPT-3還沒及格(僅55分)。

就連MIT本科和研究生學的固體化學、天文學、微分方程和狹義相對論等課程,谷歌新AI也能在200多道題中,答出將近三分之一。

最重要的是,與OpenAI憑借“編程技巧”取得數學高分的方法不同,谷歌AI這一次,走的可是“像人一樣思考”的路子——

它像一個文科生一樣只背書不做題,卻掌握了更好的理工科解題技巧。

值得一提的是,論文一作Lewkowycz還分享了一個論文中沒寫到的亮點:

我們的模型參加了今年的波蘭數學高考,成績比全國平均分還要高。

看到這裡,有的家長已經坐不住了。

如果告訴我女兒這件事,我怕她用AI做作業。但如果不告訴她,就沒有讓她對未來做好準備!

在業內人士看來,只靠語言模型,不對算數、邏輯和代數做硬編碼達到這種水平,是這項研究最驚豔的地方。

那麼,這是怎麼做到的?

AI狂讀arXiv上200萬篇論文

新模型Minerva,基於Pathway架構下的通用語言模型PaLM改造而來。

分別在80億、600億和5400億參數PaLM模型的基礎上做進一步訓練。

Minerva做題與Codex的思路完全不同。

Codex的方法是把每道數學題改寫成編程題,再靠寫代碼來解決。

而Minerva則是狂讀論文,硬生生按理解自然語言的方式去理解數學符號。

在PaLM的基礎上繼續訓練,新增的數據集有三部分:

主要有arXiv上收集的200萬篇學術論文,60GB帶LaTeX公式的網頁,以及一小部分在PaLM訓練階段就用到過的文本。

通常的NLP數據清洗過程會把符號都刪掉只保留純文字,導致公式不完整,比如愛因斯坦著名的質能方程只剩下了Emc2。

但谷歌這次把公式都保留,和純文本一樣走一遍Transformer的訓練程序,讓AI像理解語言一樣去理解符號。

與之前的語言模型相比,這是Minerva在數理問題上表現更好的原因之一。

但與專門做數學題的AI相比,Minerva的訓練中沒有顯式的底層數學結構,這帶來一個缺點和一個優點。

缺點,是可能出現AI用錯誤的步驟得到正確答案的情況。

優點,是可以適應不同學科,即使有些問題無法用正規的數學語言表達出來,也可以結合自然語言理解能力解出來。

到了AI的推理階段,Minerva還結合了多個最近谷歌開發的新技術。

先是Chain of Thought思維鏈路提示,今年一月由谷歌大腦團隊提出。

具體來說就是在提問的同時給一個分步驟回答的示例來引導。AI在做題時就可以採用類似的思考過程,正確回答本來會答錯的題目。

再有是谷歌和MIT合作開發的Scrathpad草稿紙方法,讓AI把分步計算的中間結果臨時存儲起來。

最後還有Majority Voting多數表決方法,也是今年3月才發表的。

讓AI多次回答同一個題目,選擇答案中出現頻率最高的。

所有這些技巧全用上以後,5400億參數的Minerva在各種測試集中達到SOTA。

甚至80億參數版的Minerva,在競賽級數學題和MIT公開課問題中,也能達到GPT-3最新更新的davinci-002版本水平。

說了這麼多,Minerva具體都能做出哪些題目?

對此谷歌也開放出了樣例集,一起來看一下。

數理化生全能,連機器學習都會

數學上,Minerva可以像人類一樣按步驟計算數值,而不是直接暴力求解。

對於應用題,可以自己列出方程式並做簡化。

甚至還可以推導證明。

物理上,Minerva可以求中性氮基態(Z = 7)電子的總自旋量子數這樣的大學水平題目。

生物和化學上,Minerva憑借語言理解能力也可以做各種選擇題。

以下哪種點突變形式對DNA序列形成的蛋白質沒有負面影響?

以下哪種是放射性元素?

以及天文學:為什麼地球擁有很強的磁場

在機器學習方面,它通過解釋“分佈外樣本檢測”的具體含義,從而正確了給出這個名詞的另一種說法。

……

不過,Minerva有時也會犯一些低級錯誤,比如把等式兩邊的√給消了。

除此之外,Minerva會出現的推理過程錯誤但結果對的“假陽性”情況,比如下面這種,有8%的可能性。

經過分析之後,團隊發現主要的錯誤形式來自計算錯誤和推理錯誤,只有小部分來自題意理解錯誤和在步驟中使用了錯誤的事實等其他情況。

其中計算錯誤可以輕易通過訪問外部計算器或Python解釋器解決,但其他種類的錯誤因為神經網絡規模太大就不太好調整了。

總的來看,Minerva的表現讓很多人感到驚豔,紛紛在評論區求API(可惜谷歌目前並沒有公開計劃)。

有的網友想到,加上前幾日讓GPT-3解題正確率暴漲61%的“哄一哄”大法,它的准確率或許還可以再提高?

不過作者的回應是,哄一哄方法屬於零樣本學習,再強恐怕也比不上帶4個例子的少樣本學習。

還有網友提出,既然它可以做題,那麼能不能反過來出題?

事實上用AI給大學生出題這件事,MIT已經聯合OpenAI在做了。

他們把人類出的題和AI出的題混在一起,找學生來做問卷調查,大家也很難分清一道題是不是AI出的。

總之現在的情況,除了搞AI的在忙著讀這篇論文以外。

學生們盼著有一天能用AI做作業。

老師們也盼著有一天能用AI出卷子。

論文地址:https://storage.googleapis.com/minerva-paper/minerva_paper.pdf

Demo地址:https://minerva-demo.github.io/

相關論文:Chain of Thought https://arxiv.org/abs/2201.11903Scrathpads https://arxiv.org/abs/2112.00114Majority Voting https://arxiv.org/abs/2203.11171

參考鏈接:

https://ai.googleblog.com/2022/06/minerva-solving-quantitative-reasoning.html

https://twitter.com/bneyshabur/status/1542563148334596098https://twitter.com/alewkowycz/status/1542559176483823622

本文來自微信公眾號“量子位”(ID:QbitAI),作者:夢晨 豐色,36氪經授權發布。

本文經授權發布,不代表36氪立場。

如若轉載請註明出處。來源出處:36氪