Comment by chvid

What is the market value of a lean verification of fermats last theorem? How much is someone willing to pay for that?

Companies hiring armies of mathematicians and spending millions to work on problems like these is an anomaly.

It will not last.