Goalposts

To be honest, we’re not even to that point. There have been no major mathematical proofs to come out of ML/AI, regardless of understanding. I say “major” because, sure, you can prove something “new” in a constrained framework that lends itself to different types of search techniques, but this is sort of akin to writing down the “undiscovered” mathematical statement that X*Y=Z, where X and Y are some super large numbers whose product has never been explicitly computed.

So, if an ML technique came out and proved the Riemann hypothesis or that zeta(5) was irrational, even if the proof was totally inscrutable, that would be absolutely groundbreaking. At the risk of hyperbole, potentially the most important result of my lifetime; not because of the result per se, but because it would signal a shift in how all of mathematics is done.