陶哲軒論文漏洞竟被AI發(fā)現(xiàn)，26年預(yù)言要成真！看定理名猜出研究方向，大神直呼AI能力驚人

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

原標(biāo)題：陶哲軒論文漏洞竟被AI發(fā)現(xiàn)，26年預(yù)言要成真！看定理名猜出研究方向，大神直呼AI能力驚人

關(guān)鍵字：工具,代碼,不等式,論文,表示

文章來源：新智元

內(nèi)容字?jǐn)?shù)：6598字

內(nèi)容摘要：新智元報(bào)道編輯：Aeneas 好困【新智元導(dǎo)讀】瘋狂入坑AI工具的數(shù)學(xué)大神陶哲軒，最近又被Lean4和Copilot震驚了——它們竟然幫他發(fā)現(xiàn)了自己論文中的一處錯(cuò)誤！2026年AI成為數(shù)學(xué)論文合著者的預(yù)言，已經(jīng)愈發(fā)逼近了。最近，熱衷于用GPT-4、Copilot做研究的數(shù)學(xué)大神陶哲軒，又在AI的幫助下發(fā)現(xiàn)了自己論文中的一處隱藏bug！陶哲軒表示，自己在用Lean4形式化第6頁論點(diǎn)的過程中發(fā)現(xiàn)，表達(dá)…

原文鏈接：點(diǎn)此閱讀原文：陶哲軒論文漏洞竟被AI發(fā)現(xiàn)，26年預(yù)言要成真！看定理名猜出研究方向，大神直呼AI能力驚人

聯(lián)系作者

文章來源：新智元

作者微信：AI_era

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