This presents a knowledge graph (KG) of 15,941 math states and conceptualizes proof as path-finding. The KG includes over 1200 math techniques and 26,614 connec
Researchers have developed a knowledge graph (KG) containing 15,941 mathematical states, conceptualizing mathematical proof as a path-finding problem. This KG incorporates over 1200 distinct mathematical techniques and establishes 26,614 connections between them. The project aims to facilitate mathematical discovery through this structured representation. AI
IMPACT This structured approach to mathematical reasoning could accelerate theorem proving and the discovery of new mathematical concepts.