Hacker News Reader

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.

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.

Exactly. And that will be the lasting thing here wrt maths. These things have value, just not commercial value, and that is why long term, it won’t be the interest of private companies.

Not exactly a trillion dollar business.

A huge portion of these trillion dollar businesses will be government and higher education contracts. Private companies already sell millions/billions of equipment and software to education.

Reply on news.ycombinator.com