Yeah, proven by him exploring other routes alongside John Carmack. Carmack has stated that their research ventures have nothing to do with LLMs