So he got exuberant because he is funded by SAIR and the "AI for math" fund.

And embarrassingly they used him for a "coal miners should learn math" moment that just benefits the AI industry.

He has severely reversed course in the past week. Without concrete propositions it remains to be seen how much of the new resistance is for show.