alt Hacker NewsWorth 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.
Replies
andriy_koval • yesterday at 7:57 PM
> Either way, it seems AI was involved.
I think the important question which AI made breakthrough, Claude or Codex..
liberian • yesterday at 6:15 PM
[dead]
Of course AI was involved, you'd expect most mathematicians and researchers to use AI nowadays. This drama is about AI achieving impressive outcomes with little to no human intervention, as that would be signalling AGI.