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.
> This drama is about AI achieving impressive outcomes with little to no human intervention
That's not at all what the drama is.