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

AIGC動態歡迎閱讀

原標題：跨越300多年的接力：受陶哲軒啟發，數學家決定用AI形式化費馬大定理的證明
關鍵字：定理,數學,數學家,數論,表示
文章來源：機器之心
內容字數：7221字

內容摘要：

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

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

聯系作者

文章來源：機器之心
作者微信：almosthuman2014
作者簡介：專業的人工智能媒體和產業服務平臺