【数学的“枢纽”比想象的更关键，菲尔兹奖得主用PageRank找到了它们】

在数学的浩瀚网络中，哪些定理才是真正的“枢纽”？菲尔兹奖得主迈克尔·弗里德曼用了一种意想不到的方法——PageRank算法。

借鉴谷歌PageRank算法的思想，他们通过分析数学语句之间的引用网络，识别出那些被最多其他定理所依赖的核心定义。这些节点并非出现频率最高的术语，而是支撑整个数学结构的“承重墙”。正是它们，承载了绝大部分的逻辑推导与知识构建。

但这只是开始。弗里德曼还提出了两个更简单的导航指标：还原压缩率，即一个高层次命题展开后有多庞大；演绎压缩率，证明长度与命题长度的比值。费马大定理能用一行写出来，证明却要五百页，这就是“压缩”的惊人力量。

借助还原压缩率与演绎压缩率这两个度量指标，AI在遍历证明空间时便能实时感知自身所处的数学“地形”，从而摆脱盲目搜索，实现更有方向、更高效的探索。

#AIforscience##AI##菲尔兹奖##SAIR##人工智能 ##AGI ##数学# http://t.cn/AXIW2v2j