← Back to context

Comment by slibhb

20 hours ago

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.

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.

  • > This drama is about AI achieving impressive outcomes with little to no human intervention

    That's not at all what the drama is.

    • Of course, as any drama, it has been developing into a lot more but the main motivation for OpenAI has been about winning that battle.

> Either way, it seems AI was involved.

I think the important question which AI made breakthrough, Claude or Codex..