My math research has morphed into a very fast general-purpose algebraic solver for exact combinatorial search and optimization. Its "Evolve" system discovers and checks reductions, then compiles them…

You can make even stronger statements than 99% and reach exact proof on many problem spaces & properties if structured well. It *used* to be crazy expensive to do that however.