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

原標(biāo)題：跨越300多年的接力：受陶哲軒啟發(fā)，數(shù)學(xué)家決定用AI形式化費(fèi)馬大定理的證明
關(guān)鍵字：定理,數(shù)學(xué),數(shù)學(xué)家,數(shù)論,表示
文章來(lái)源：機(jī)器之心
內(nèi)容字?jǐn)?shù)：7221字

內(nèi)容摘要：

機(jī)器之心報(bào)道
編輯：張倩在陶哲軒的啟發(fā)下，越來(lái)越多的數(shù)學(xué)家開(kāi)始嘗試?yán)萌斯ぶ悄苓M(jìn)行數(shù)學(xué)探索。這次，他們瞄準(zhǔn)的目標(biāo)是世界十大最頂尖數(shù)學(xué)難題之一的費(fèi)馬大定理。費(fèi)馬大定理又被稱為「費(fèi)馬最后的定理（Fermat’s Last Theorem，F(xiàn)LT）」，由 17 世紀(jì)法國(guó)數(shù)學(xué)家皮耶?德?費(fèi)馬提出。它背后有一個(gè)傳奇的故事。據(jù)稱，大約在 1637 年左右，費(fèi)馬在閱讀丟番圖《算術(shù)》拉丁文譯本時(shí)，曾在第 11 卷第 8 命題旁寫道：「將一個(gè)立方數(shù)分成兩個(gè)立方數(shù)之和，或一個(gè)四次冪分成兩個(gè)四次冪之和，或者一般地將一個(gè)高于二次的冪分成兩個(gè)同次冪之和，這是不可能的。關(guān)于此，我確信已發(fā)現(xiàn)了一種美妙的證法 ，可惜這里空白的地方太小，寫不下。」這段話前面所表述的就是費(fèi)馬大定理的內(nèi)容：當(dāng)整數(shù) n>2 時(shí)，關(guān)于 x^n + y^n=z^n 的方程沒(méi)有正整數(shù)解。
費(fèi)馬表示，自己知道怎么證明，但因?yàn)闀目瞻撞糠痔。蜎](méi)有寫。對(duì)于該故事的真實(shí)性以及費(fèi)馬是否真的想出了證明方法，后世是存在爭(zhēng)議的。
在之后的 300 多年里，數(shù)學(xué)家們一直在努力，接力證明費(fèi)馬大定理。直到 1995 年，美國(guó)普林斯頓大學(xué)的 Andrew Wiles

原文鏈接：跨越300多年的接力：受陶哲軒啟發(fā)，數(shù)學(xué)家決定用AI形式化費(fèi)馬大定理的證明

聯(lián)系作者

文章來(lái)源：機(jī)器之心
作者微信：almosthuman2014
作者簡(jiǎn)介：專業(yè)的人工智能媒體和產(chǎn)業(yè)服務(wù)平臺(tái)