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

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

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

內(nèi)容摘要：

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

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

聯(lián)系作者

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