Hacker News Reader

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?

View on HN

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

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

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

Reply on news.ycombinator.com