It makes the leap from:
AI is improving dramatically in fields with logical formal structure (maths, comp sci.)
to:
AI should then should eventually conquer essentially every other cognitive task.
AI is improving dramatically in fields with logical formal structure (maths, comp sci.)
to:
AI should then should eventually conquer essentially every other cognitive task.
You see this in Dario's appearances, where he jumps from AI is doing well using verifiable rewards (true), to therefore we can automate basically all science (maybe, but not without a lot more work in how it interacts with the physical world).