我說(shuō)兩種語(yǔ)言，英語(yǔ)和英語(yǔ)不好。我對(duì)數(shù)學(xué)的理解差很多。實(shí)際上，為了畢業(yè)，我不得不在大學(xué)里四次重做微積分2A以便畢業(yè)，主要是因?yàn)槲矣肋h(yuǎn)無(wú)法正確計(jì)算出從墻壁上掉下來(lái)的梯子的加速度。您知道，這種理論難題對(duì)我們的日常生活至關(guān)重要。

除了我的數(shù)字慣性之外，F(xiàn)acebook還訓(xùn)練了一種AI來(lái)解決最棘手的數(shù)學(xué)問(wèn)題。真正的超弦樂(lè)器。實(shí)際上，F(xiàn)B教他們的神經(jīng)網(wǎng)絡(luò)將復(fù)雜的數(shù)學(xué)方程式視為“一種語(yǔ)言，然后將[解決方案]作為序列到序列神經(jīng)網(wǎng)絡(luò)的翻譯問(wèn)題”。

這實(shí)際上是一項(xiàng)壯舉，因?yàn)榇蠖鄶?shù)神經(jīng)網(wǎng)絡(luò)都在一個(gè)近似系統(tǒng)上運(yùn)行：它們可以確定圖像是狗，小猿還是蒸汽散熱器的圖像，并且具有一定的確定性，但可以精確計(jì)算出像b這樣的符號(hào)性問(wèn)題中的數(shù)字-4ac = 7是完全不同的魚(yú)鍋。Facebook通過(guò)不將方程式視為數(shù)學(xué)問(wèn)題，而是將其視為語(yǔ)言問(wèn)題來(lái)進(jìn)行管理。具體來(lái)說(shuō)，研究小組使用神經(jīng)機(jī)器翻譯(NMT)解決了這個(gè)問(wèn)題。簡(jiǎn)而言之，他們教AI講數(shù)學(xué)。結(jié)果是該系統(tǒng)能夠解決方程式，而所需時(shí)間僅是基于代數(shù)的系統(tǒng)(如Maple，Mathematica和Matlab)所用的一小部分。

研究小組在博客中寫(xiě)道：“通過(guò)訓(xùn)練模型以檢測(cè)符號(hào)方程式中的模式，我們相信神經(jīng)網(wǎng)絡(luò)可以將導(dǎo)致其解決方案的線(xiàn)索拼湊起來(lái)，大致類(lèi)似于人類(lèi)對(duì)復(fù)雜問(wèn)題的基于直覺(jué)的方法。”今天發(fā)布的帖子。“因此，我們開(kāi)始將符號(hào)推理作為NMT問(wèn)題進(jìn)行探索，在該模型中，模型可以根據(jù)問(wèn)題示例及其匹配的解決方案來(lái)預(yù)測(cè)可能的解決方案。”

從本質(zhì)上講，研究團(tuán)隊(duì)教會(huì)了AI如何解開(kāi)數(shù)學(xué)方程式，就像我們對(duì)復(fù)雜短語(yǔ)所做的一樣，如下例所示。該系統(tǒng)沒(méi)有拆分動(dòng)詞，名詞和形容詞，而是使各個(gè)單獨(dú)的變量成為孤島。