If AI manages to prove, or disprove, I wonder what would Clay Foundation do for the prize.

Who cares about some billionaire paying another billionaire a million dollars?

WHat matters is our understanding of maths, and whether this sort of thing makes us smarter or stupider.

Proving Riemann sure would clean up a lot of contingent/dependent number theory.