| ▲ | ngruhn a day 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%2FNavierStokesAndE... It's not like can't proof universal properties. | ||
| ▲ | duendefm a day ago | parent | next [-] | |
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 21 hours ago | parent | prev [-] | |
> 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. | ||