AI didn't solve it. Mathematicians working for OpenAI who signed NDA agreements took these other mathematicians idea and developed into a more complete prove to market the company share value.

These OpenAI mathematicians might or might not used a LLM to more or less extension to develop this prove. There is no evidence on how helpful was the LLM to the whole process.