I'm generally impressed with his software work though. Later in the podcast, he talks about training an LLM to write Wolfram code and automatically execute it, with the ability to refine the intermediate code. I've always appreciated Wolfram Alpha as a powerful computation tool and combining it with an LLM is a pretty creative approach. You can express a complex analysis in plain language but, instead of getting a full response likely to contain hallucinations, you get some code in a high-level programming language to then generate the response. Even if you just execute it and accept the result, at least you have a copy of the "logic" used to generate your result. Neat approach to escape the black box problem of LLMs, at least for the kind of questions that you'd normally write in Wolfram.