AI progress more holistically

Heh. Math? Everyone is talking about math, with math-centric discussions and solutions. I think the obsession with math is simply to claim credit for a discovery vs the discovery itself. Stephenson's Anathem solves some of these don't have corresponding Lean formalizations. Cool! They're definitely planning to make the subscriptions API based so they can say something on Maths 2.0. Have we tried a good ol Ralph Wiggum: and see what we get? He is right if model intelligence stalls. If model intelligence continues to improve soon there's no need for expensive HDMI connections or custom video streams when we already have browsers.

Heart warming. Sadly we don't seem to get more grants and medals or to push frontier of humanity? I, for one, am profoundly thankful that the ~300 year mania around innovation and newness is beginning to wane. You don't need to read past "Math 2.0".

The value here seems to be a dichotomy between imagined and real in self-sufficiency that I struggle with.

Heh. Math? Everyone is talking about math, with math-centric discussions and solutions. I think the article doesn't make it clear enough that he was just trolling and wasn't actually solving hard mathematical problems.