12 ms·

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.

• mrbungie 25d ago
  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.
  • denverllc 25d ago
    > This drama is about AI achieving impressive outcomes with little to no human intervention That's not at all what the drama is.
    • mrbungie 25d ago
      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.
• liberian 25d ago
  [dead]
• andriy_koval 25d ago
  > Either way, it seems AI was involved. I think the important question which AI made breakthrough, Claude or Codex..