Worth noting that Tao's post says the authors had "significant AI input" but are reworking them into "acceptable form". Either way, it seems AI was involved.
That's not at all what the drama is.
I think the important question which AI made breakthrough, Claude or Codex..