克雷研究所100萬美元獎(jiǎng)金要?dú)wAI了數(shù)學(xué)界規(guī)則大改，未來數(shù)學(xué)家如何應(yīng)對(duì)「海量猜想」

AIGC動(dòng)態(tài)歡迎閱讀

原標(biāo)題：克雷研究所100萬美元獎(jiǎng)金要?dú)wAI了數(shù)學(xué)界規(guī)則大改，未來數(shù)學(xué)家如何應(yīng)對(duì)「海量猜想」
關(guān)鍵字：數(shù)學(xué),領(lǐng)域,人工智能,數(shù)學(xué)家,發(fā)現(xiàn)
文章來源：新智元
內(nèi)容字?jǐn)?shù)：8137字

內(nèi)容摘要：

新智元報(bào)道編輯：LRS
【新智元導(dǎo)讀】數(shù)學(xué)領(lǐng)域，以其廉價(jià)的數(shù)據(jù)及問題的嚴(yán)謹(jǐn)性，成為了人工智能輔助發(fā)現(xiàn)的理想試驗(yàn)場(chǎng)，但唯有人類自己，才能區(qū)分出好猜想和壞猜想。在數(shù)學(xué)的世界里，想要對(duì)「一個(gè)未經(jīng)證實(shí)的猜想」進(jìn)行完整的證明，往往需要天賦、直覺和經(jīng)驗(yàn)的結(jié)合，即使是數(shù)學(xué)家也很難解釋自己的發(fā)現(xiàn)過程。
然而，隨著近幾年大模型的崛起，我們共同見證了一種新的變革力量，AI不僅在預(yù)測(cè)橢圓曲線的復(fù)雜度上超越了人類，還在探索基本常數(shù)的新公式上取得了突破。
最近，倫敦?cái)?shù)學(xué)科學(xué)研究所所長(zhǎng)托馬斯·芬克 (Thomas Fink)在Nature的world view欄目發(fā)布了一篇文章，探討了AI如何在數(shù)學(xué)領(lǐng)域中發(fā)揮其獨(dú)特的作用，以及如何幫助數(shù)學(xué)家從猜想走向證明。文章鏈接：https://www.nature.com/articles/d41586-024-01413-w
數(shù)學(xué)數(shù)據(jù)的豐富性和獨(dú)特性為AI的訓(xùn)練提供了肥沃的土壤：從素?cái)?shù)到結(jié)理論，AI正在幫助我們發(fā)現(xiàn)數(shù)學(xué)對(duì)象之間的新聯(lián)系。
例如，通過在線整數(shù)序列百科全書(OEIS)，可以利用AI工具搜索近375,000個(gè)序列，尋找那些意想不到的關(guān)系，文中揭示了AI如何在數(shù)學(xué)

原文鏈接：克雷研究所100萬美元獎(jiǎng)金要?dú)wAI了數(shù)學(xué)界規(guī)則大改，未來數(shù)學(xué)家如何應(yīng)對(duì)「海量猜想」

聯(lián)系作者

文章來源：新智元
作者微信：AI_era
作者簡(jiǎn)介：智能+中國(guó)主平臺(tái)，致力于推動(dòng)中國(guó)從互聯(lián)網(wǎng)+邁向智能+新紀(jì)元。重點(diǎn)關(guān)注人工智能、機(jī)器人等前沿領(lǐng)域發(fā)展，關(guān)注人機(jī)融合、人工智能和機(jī)器人對(duì)人類社會(huì)與文明進(jìn)化的影響，領(lǐng)航中國(guó)新智能時(shí)代。