似乎一夜之間 AI就攻陷了數(shù)學(xué)界

2023年開年之后，隨著Chat gpt熱潮的不斷發(fā)展，出現(xiàn)了大量的大型語言模型，這些大模型也開始逐漸進(jìn)入到被認(rèn)為是人類智力專屬的領(lǐng)域中。例如，一名華裔數(shù)學(xué)家陶哲軒在博客中表示，自己開始使用chat gpt 4協(xié)助辦公。外國一家網(wǎng)站中由加州理工、英偉達(dá)和MIT等機(jī)構(gòu)學(xué)者共同撰寫的論文中的工作，就是朝著這方向邁出的第一步。他們構(gòu)建了一個基于開源llm定理的機(jī)器，這些情況似乎都在表明，AI已經(jīng)攻陷了數(shù)學(xué)這一人類智慧最純粹的領(lǐng)域。

如果從實(shí)際情況來看，人類追溯本源已經(jīng)有了100多年的歷史，甚至計(jì)算機(jī)的發(fā)生與演變也與人類探索數(shù)學(xué)的進(jìn)程有著密不可分的關(guān)系。1900年4月27日，英國皇家學(xué)會的演講中，知名物理學(xué)家凱爾文男爵做出了最著名的物理學(xué)演講，他的演講題目叫做兩朵烏云，后來這兩朵烏云掀起了狂風(fēng)暴雨，從中誕生了現(xiàn)代物理學(xué)的支柱理論，相對論和量子力學(xué)。

開爾文男爵發(fā)表演講的同一年，知名數(shù)學(xué)家大衛(wèi)希爾伯特在巴黎舉行的第二屆國際數(shù)學(xué)家大會中，提出了自己認(rèn)為最重要的數(shù)學(xué)問題，他提出的這23個問題被后世認(rèn)為是希爾伯特問題。針對這些問題，眾多創(chuàng)業(yè)家做出了非常細(xì)致的研究，這很大程度上促進(jìn)了20世紀(jì)的數(shù)學(xué)界發(fā)展。

按照希爾伯特的設(shè)想，自己想要建立起形式化的數(shù)學(xué)公理體系需要滿足三個條件，即：完備性：能夠發(fā)現(xiàn)所有數(shù)學(xué)真命題；自洽性：意思是指數(shù)學(xué)內(nèi)部是不存在任何矛盾；可決定性：這個特性是能夠去判斷每一個數(shù)學(xué)命題的真?zhèn)涡再|(zhì)。在希爾伯特看來，自己所關(guān)心的事情就是數(shù)學(xué)大廈究竟如何去建造。