跨越包括

跨越300多年的接力：受陶哲轩启发，数学家决定用AI形式化费马大定理的证明 在陶哲轩的启发下，越来越多的数学家开始尝试利用人工智能进行数学探索。这次，他们瞄准的目标是世界十大最顶尖数学难题之一的费马大定理。...