已收录文章摘要，完整内容可前往原文阅读。
【编者按】当人工智能（AI）开始轻松地解开一些人类长期未能解决的数学问题时，我们迎来的，究竟是更多的数学成果，还是更少的真正理解？过去，一个重大猜想的攻克，往往意味着新思想与新方法的诞生。数学家共同体