Every major theorem in mathematics was discovered by applying a known technique to a known fact.
Euclid used proof by contradiction to show there are infinitely many primes. Euler plugged a series into a product formula to crack the Basel problem. Galois used symmetry reduction on polynomial roots. Wiles bridged modular forms and elliptic curves to close Fermat's Last Theorem. The techniques repeat — the same proof method appears across centuries and subdisciplines.
So I asked: what if you could map all of these techniques and facts into a single graph, and let a machine search for new paths through it?
That's what I built.
https://youtu.be/ypj-h_Aih5Q
