neng8科技快讯网AI人工智能前沿资讯_汽车数码相机评测_手机电脑硬件百科

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

在陶哲轩的启发下，越来越多的数学家开始尝试利用人工智能进行数学探索。这次，他们瞄准的目标是世界十大最顶尖数学难题之一的费马大定理。