He was clearly wrong about LLMs not being able to plan, etc. You think he’d think LLMs are solving/proving millennium prize math problems by now? At this point he’s just doubling down