陶哲軒:AI時代,數(shù)學(xué)研究將進入前所未有的規(guī)模

AIGC動態(tài)歡迎閱讀
原標題:陶哲軒:AI時代,數(shù)學(xué)研究將進入前所未有的規(guī)模
關(guān)鍵字:問題,數(shù)學(xué),計算機,機器,定理
文章來源:人工智能學(xué)家
內(nèi)容字數(shù):0字
內(nèi)容摘要:
來源:量子位編輯:西風(fēng)
陶哲軒最新演講公開,AI含量爆表。
在IMO 2024現(xiàn)場,“陶神”帶來了洋洋灑灑1個小時的精彩分享,主題就叫:AI與數(shù)學(xué)。他怎么看AI和數(shù)學(xué)的關(guān)系?怎么理解機器學(xué)習(xí)、大模型等在數(shù)學(xué)領(lǐng)域的應(yīng)用與發(fā)展?
所有觀察和觀點都毫無保留分享:
借助AI,可以想象未來可以取一類1000個問題同時處理,你真的可以開始以一種前所未有的規(guī)模進行數(shù)學(xué)研究。除此之外,“陶神”還由古至今講述了機器輔助計算的傳統(tǒng)與演變。
AI等一系列機器在數(shù)學(xué)研究中的妙用并非空口無憑:
畢達哥拉斯三元數(shù)組的問題只能使用計算機解決
開普勒猜想最終也是借由計算機輔助證明
機器學(xué)習(xí)在紐結(jié)理論中的應(yīng)用:已經(jīng)能夠幫助猜測兩種不同統(tǒng)計數(shù)據(jù)之間的聯(lián)系
他本人還透露,自己用GPT-4找解題靈感;用GitHub Copilot輔助證明,大概有20%概率,它能寫出接近正確的下一步證明。
不光是在演講中講AI,陶哲軒最近發(fā)布的幾個帖子也都和AI息息相關(guān)。網(wǎng)友紛紛安利:
他沒有支持或反對AI炒作,而只是理性開放地評估了這些工具及其能力,還有未來可能發(fā)生的事。量子位在不改變原意的基礎(chǔ)上,對“陶神”這次最新的演講內(nèi)容進行了編譯整理
原文鏈接:陶哲軒:AI時代,數(shù)學(xué)研究將進入前所未有的規(guī)模
聯(lián)系作者
文章來源:人工智能學(xué)家
作者微信:
作者簡介:

粵公網(wǎng)安備 44011502001135號