跨越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形式化费马大定理的证明