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.