Re:AI is breaking our proxies for expertise
by duendefm on Tuesday September 15, 2026 @11:58AM
(#49714531)
Not an anti-AI view at all, but right now people is exaggerating a bit on the "AI is solving math". For now they are good at finding holes on theories, proving by negation, not proving for all cases, nor coming up with new theories.
[ Parent
| on HN ]
Re:AI is breaking our proxies for expertise
by ngruhn on Tuesday September 15, 2026 @12:32PM
(#49715030)
> 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.
Re:AI is breaking our proxies for expertise
by duendefm on Tuesday September 15, 2026 @12:46PM
(#49715233)
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.
Re:AI is breaking our proxies for expertise
by owebmaster on Wednesday September 16, 2026 @02:15AM
(#49722700)
> 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.