Hacker News Reader

Comment by Nevermark | Hacker News Reader

That's going to be a very short term solution, no?

You can't really swear off looking at problems solved by AI, or keep moving away from fields whenever AI starts contributing, and have a viable career.

Today's frontier models, are everybody's local models in the near future.

If this were a change that had expected stalls or reprieves it would be different.

Doing mathematics looks to be the next chess, er, I mean protein folding challenge. The latter's computation demands have dropped significantly.

View on HN

You have many fields that will be protected from ai, or even enabled by it - if I could bet, sociology will be a hot new field that will by definition still need humans always, but will gain both speed and significance.

If there is a field that desperately needs practitioners, it is net-sum political system design and dysfunction mitigation and elimination.

When things really start going downhill, if we are still in the current mess, it will grease the the wheels, and the brakes.

There are an infinite number of problems that require a unique proof (you can prove this btw). Yes maybe you need to work harder to find a more obscure problem now but why give up the fight already? I believe that students should have the right to intellectually stimulating education. If you really need to use AI, go for something that isn’t trying to put you out of business or destroy your right to a decent education, like a local open weights LLM.

> There are an infinite number of problems that require a unique proof

Yes. The problem isn't that there won't be any problems. The problem will be the rate of general progress and solutions that at least some awareness is required of, to reliably identify a good new unsolved problem will just keep getting more challenging. And then an attempt needs to be make, to solve it in a very short time.

There is always another race to run too, but increasingly slow runners don't find that translates to winning.

This change is not going to slow down, it is going to speed up. Machines will be doing math systematically, checking off the meta-math theorems that ensure axiom combinations are covered, that the search does not stop where theorems are not exhausted, and does stop where it can be proven they are. Humans will never operate at that level.

Reply on news.ycombinator.com