[jmmcd]

But he actually uses frontier LLMs in his own work. Probably that's stronger evidence.

[mrbungie]

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