标签:费马大定理

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

在数学界,人工智能的应用正在逐渐扩展,特别是在数学探索和证明方面。近年来,受到陶哲轩等人的启发,越来越多的数学家开始尝试利用人工智能,特别是定理证...