3 ms·

> 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 pr

by ngruhn 11d ago

> 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%2FNavierStokesAndEuler+%E2%88%80&type=code https://github.com/search?q=repo%3Aopenai%2FNavierStokesAndE... It's not like can't proof universal properties.

duendefm 11d ago
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.
owebmaster 10d ago
> 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.