跨越300多年的接力:受陶哲轩启发,数学家决定用AI形式化费马大定理的证明

跨越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
作者简介:专业的人工智能媒体和产业服务平台

阅读原文
© 版权声明

相关文章

暂无评论

暂无评论...