TheoremGraph：搜索超过1800万条数学依赖关系

- TheoremGraph 是一个可检索的数学定理依赖关系图，收录超过1800万个数学对象（定理、定义、引理）及其相互引用关系。其数据来自 arXiv、MathOverflow 等数学出版平台，以及 MathStackExchange、维基百科等社区来源。 - 该项目由 TheoremSearch 团队发布，该团队此前已推出定理搜索工具。其核心思路是将数学文献中的定理与证明拆解为“依赖图”，展示每个结果建立在哪些已有结果之上。 - 对数学研究者和爱好者而言，这类工具能够揭示数学知识的深层结构，帮助追踪一个定理的完整证明链，或发现不同领域之间意想不到的联系——类似数学版的论文引用网络（如 Google Scholar）或代码依赖图（如 GitHub 的依赖图谱）。 - 该工具目前处于早期阶段，搜索和可视化功能仍有限，但它代表了一种将大规模结构化知识图谱方法应用于形式化数学知识的趋势。