Show HN: A knowledge graph of 15,941 math states – proof as path-finding (opens in new tab)

What if discovering a new theorem is just finding a path through a graph? 15,941 states · 1,223 techniques · open-ended search for mathematics no human has reached yet.