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.

▲

ngruhn a day ago | parent [-]

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