5 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 8d 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 8d 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 8d 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 8d ago
  [dead]
• andriy_koval 8d ago
  > Either way, it seems AI was involved. I think the important question which AI made breakthrough, Claude or Codex..