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 7 hours ago | parent | next [-]

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 7 hours ago | parent [-]

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

That's not at all what the drama is.

	▲	mrbungie 7 hours ago \| parent [-]
		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.

▲

andriy_koval 5 hours ago | parent | prev | next [-]

> Either way, it seems AI was involved.

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

▲

liberian 7 hours ago | parent | prev [-]

[dead]