In a couple short years we've moved from "AIs can't do anything useful" to "they're lying about the actual cost of the innovative breakthroughs!".

I know that the former and the latter may be discrete subsets of the anti-AI crowd, but come on.

It’s very typical in human math that explaining the final result after years of searching looks very simple too.