Hacker News Reader

Parent Full thread

ngruhn

> currently

A few years ago they couldn't do basic arithmetic. Is there any reason to think that capabilities flatline from now?

> proving by negation, not proving for all cases

I'm finding 2.2k "∀" symbols in the Navier-Stokes proof repo:

https://github.com/search?q=repo%3Aopenai%2FNavierStokesAndE...

It's not like can't proof universal properties.

View on HN

Yeah that's why I said "right now people is". Then, ∀ for intermediate steps is not the same as ∀ for the final solution of Millennium Prize Problems' level. Fable exists for some 6 months now, internally, so the frontier kind of is a bit old right now, we will see how fast things keep going.

> there any reason to think that capabilities flatline from now?

4 years ago ChatGPT created better slop than current Claude Opus 5. It's a regression: things good objectively worse. You can find multiple threads here or on Reddit about that. Models won't necessarily get better.

Reply on news.ycombinator.com