Remix.run Logo
▲ dfdydx 7 hours ago

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 7 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 5 hours ago | parent [-]

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

▲vatsachak 4 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