2016-2022 All Rights Reserved.平安財經(jīng)網(wǎng).復制必究 聯(lián)系QQ 備案號:
本站除標明“本站原創(chuàng)”外所有信息均轉(zhuǎn)載自互聯(lián)網(wǎng) 版權(quán)歸原作者所有。
郵箱:toplearningteam#gmail.com (請將#換成@)
2023年開年之后,隨著Chat gpt熱潮的不斷發(fā)展,出現(xiàn)了大量的大型語言模型,這些大模型也開始逐漸進入到被認為是人類智力專屬的領(lǐng)域中。例如,一名華裔數(shù)學家陶哲軒在博客中表示,自己開始使用chat gpt 4協(xié)助辦公。外國一家網(wǎng)站中由加州理工、英偉達和MIT等機構(gòu)學者共同撰寫的論文中的工作,就是朝著這方向邁出的第一步。他們構(gòu)建了一個基于開源llm定理的機器,這些情況似乎都在表明,AI已經(jīng)攻陷了數(shù)學這一人類智慧最純粹的領(lǐng)域。
如果從實際情況來看,人類追溯本源已經(jīng)有了100多年的歷史,甚至計算機的發(fā)生與演變也與人類探索數(shù)學的進程有著密不可分的關(guān)系。1900年4月27日,英國皇家學會的演講中,知名物理學家凱爾文男爵做出了最著名的物理學演講,他的演講題目叫做兩朵烏云,后來這兩朵烏云掀起了狂風暴雨,從中誕生了現(xiàn)代物理學的支柱理論,相對論和量子力學。
開爾文男爵發(fā)表演講的同一年,知名數(shù)學家大衛(wèi)希爾伯特在巴黎舉行的第二屆國際數(shù)學家大會中,提出了自己認為最重要的數(shù)學問題,他提出的這23個問題被后世認為是希爾伯特問題。針對這些問題,眾多創(chuàng)業(yè)家做出了非常細致的研究,這很大程度上促進了20世紀的數(shù)學界發(fā)展。
按照希爾伯特的設(shè)想,自己想要建立起形式化的數(shù)學公理體系需要滿足三個條件,即:完備性:能夠發(fā)現(xiàn)所有數(shù)學真命題;自洽性:意思是指數(shù)學內(nèi)部是不存在任何矛盾;可決定性:這個特性是能夠去判斷每一個數(shù)學命題的真?zhèn)涡再|(zhì)。在希爾伯特看來,自己所關(guān)心的事情就是數(shù)學大廈究竟如何去建造。
2016-2022 All Rights Reserved.平安財經(jīng)網(wǎng).復制必究 聯(lián)系QQ 備案號:
本站除標明“本站原創(chuàng)”外所有信息均轉(zhuǎn)載自互聯(lián)網(wǎng) 版權(quán)歸原作者所有。
郵箱:toplearningteam#gmail.com (請將#換成@)