已收录文章摘要，完整内容可前往原文阅读。
导语数学定理的依赖网络，能否帮助AI更快寻找证明路径？本期为AI for Math读书会第二季第3期，北师大系统科学学院在读博士李晓凯将从复杂网络的视角看待数学证明，介绍以定理和公理为节点、证明中的引