OpenAI’s Breakthrough On Famed Math Problem Actually Proves That Using AI To Find Counterexamples Is A Smart Strategy For EveryoneMay 26, 2026