TheoremGraph: Search 18M+ Mathematical Dependencies

- TheoremGraph is a search engine launched by TheoremSearch that indexes over 18 million mathematical theorems and their dependency relationships (which theorems rely on which). - It is built on top of the arXiv dataset and formal mathematics libraries (like those from proof assistants such as Lean, Coq, and Isabelle), mapping how results connect. - The goal is to help mathematicians, students, and AI researchers explore the "graph" of mathematics — seeing the logical structure of proofs, finding prerequisites for a given theorem, or discovering alternative proof paths. - This matters because mathematics has become vast and specialized; no one can hold all of it in memory. A dependency graph makes it easier to navigate, verify, and even automate reasoning. - It is also relevant to AI: training models that understand mathematical structure requires high-quality linked data, and TheoremGraph provides that at an unprecedented scale.