I built a system that discovers math proofs by treating them as graph search

Every major theorem in mathematics was discovered by applying a known technique to a known...

Raccontata dadev.to