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

文章内容来源于公众号：机器之心，点此可查看原文扫码查看原文，内容版权归相关企业所有，本网站仅供交流学习。若涉及版权问题或存在侵权情况，请及时与我们联系邮件联系：i@playhudong.com，我们将第一时间进行删除处理。