3 ms·If AI manages to prove, or disprove, I wonder what would Clay Foundation do for the prize.by alok-g 1mo agoIf AI manages to prove, or disprove, I wonder what would Clay Foundation do for the prize.chvid 29d agoWho 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.euroderf 29d agoProving Riemann sure would clean up a lot of contingent/dependent number theory.