Hacker News Reader

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

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