They are overreacting imo. A lot of mathematicians stuck their head in the sand with o3 but this was the logical outcome; superhuman deduction

▲

dfdydx 8 hours ago | parent | next [-]

I don't get the argument - if we follow what you say, they're not _overreacting_, they are reacting appropriately but should have done so earlier (when o3 was released) rather than now?

▲

vatsachak 8 hours ago | parent [-]

My claim is that if Bob, a mathematician, believes that he is rendered useless by an LLM then he did not play with o3 and all the other models between now and then to realize that, yes, they are superhuman at details and deduction but not superhuman at math

▲

simianwords 6 hours ago | parent [-]

Can you come up with a concrete prediction on what AI can’t do in math? Something testable.

	▲	vatsachak 5 hours ago \| parent [-]
		Yes, here is a concrete prediction AI will not replace the mathematical community (peer review, abstraction creation) until AI can train the next AI purely on data generated by itself and with a tool in a turing complete environment. The environment has to be air-gapped from human data but the AI can use tools and its own outputs I think that "solving math" is isomorphic to solving the "thinking part" of the scientific process which would be genuine RSI

▲

simianwords 9 hours ago | parent | prev [-]

Disagree, there are in fact documented cases.

> I think I have been underrating the pace of model improvements. In March 2025 I made a bet with Tamay Besiroglu, cofounder of RL environment company Mechanize, that AI tools would not be able to autonomously produce papers I judge to be at a level comparable to that of the best few papers published in 2025, at comparable cost to human experts, by 2030. I gave him 3:1 odds at the time; I now expect to lose this bet.

https://www.daniellitt.com/blog/2026/2/20/mathematics-in-the...

“I’ve slowly updated my timelines over the past year…”

and

“I think I have been underrating the pace of model improvements. … I was not correctly calibrated as to the capabilities of existing models, let alone near-future models.”

	▲	8 hours ago \| parent \| next [-]
		[deleted]
	▲	vatsachak 8 hours ago \| parent \| prev [-]
		Fair enough. But after the distinct distances result if you did not price it in, that's on you haha