Mathematician are slowly coming to a realization that, for centuries, they were working for peanuts -- now that billions of dollars are being spent on AI doing mathematical proofs.