alt Hacker NewsWhat 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.
Replies
neutronicus • today at 6:31 PM
I guess it depends on how efficiently that verification can be produced as a byproduct of building an optimal hunter-killer drone, or training the type of model that builds an optimal hunter-killer drone
Public-funded research is still a thing though.