Role of Analytical Mathematicians to Understand AI Proof?

The Advisory Group on Mathematics and Artificial Intelligence at Institute for Advanced Study has issued a statement on Oct 6 about the Oct 6: On OpenAI’s Release of Mathematical Results. Let me cite from this document that gives lots of input to questions about the role of analytical/pure mathematicians in an AI future:

• As announced a few weeks ago, OpenAI has released a large collection of mathematical results generated by an internal model, reporting solutions to hundreds of open questions. 
• This is an important event for mathematics, with consequences both for mathematics and for the mathematical community that extend far beyond the individual results.
• The future of mathematical research cannot consist only of understanding results produced by AI labs. 
• Mathematicians must be able to formulate their own questions, develop their own approaches, and explore directions that have not been selected as examples of an AI system’s capabilities. 
• We reaffirm our published recommendations on responsible release.