It is, but biased evidence, as he's both directing and checking that frontier LLM output and not everyone is Terrence Tao.