over 5 days, you couldn't achieve that level of testing and communication with humans on such a complex problem in that amount of time.

some might go so far as to call this a country of geniuses in a data center.

Yeah but they at least they got to steal $1 million from that nasty math prof who didn't want to remove his co-author.

This could fund 10 top income mathematicians for 8 years (based on https://careers.usnews.com/best-jobs/mathematician/salary ). Imagine what kinds of results we'd have to transform the foundations of science if we were giving brilliant minds this kind of funding to do nothing but research for most of decade....

Instead, we get slop proofs that are technically correct as PR stunts to enable corrupt kleptocrats, and most likely will drive research into culs-de-sac.