As AI increasingly handles the bottleneck of generating proofs, the primary value of human mathematicians will shift. Skills like understanding, explaining, and curating an explosion of new results will become more critical than the act of proving itself. The community will reward those who can build frameworks for this new knowledge.

OpenAI's solution to the Navier-Stokes problem illustrates a new paradigm in science. An AI can generate a correct proof without providing any human-intelligible intuition or understanding. This shifts the role of scientists from solely proving things to interpreting the results of an AI's "experiment," which may be correct but not elegant.

There's a critical distinction between a proof (which establishes truth) and an explanation (which provides understanding). Even when a complex mathematical problem is solved, there remains an 'unsolved expository problem' of making the solution comprehensible. This need for clarity and intuition will remain a crucial area for human or AI effort, even after theorems are proven.

Because models excel at mechanical theorem-proving within defined boundaries, the mathematician's core differentiator is shifting toward mathematical taste. Deciding which real-world problems to model, asking insightful questions, and framing theories will increasingly outweigh the routine mechanics of proof verification.

A common fear is that AIs will produce billion-line proofs of theorems without offering human insight. However, an alternative and perhaps more likely future is that their superhuman capabilities will be applied to explanation. They could take complex, human-incomprehensible proofs and find novel ways to make them intuitive and easy to understand.

AI proofs often rely on brute-force mechanical searches across complex parameter spaces, yielding dense, unreadable constructions. This frictionless resolution separates verification from human understanding, discarding the intermediate intellectual detours that historically spurred new subfields of mathematical study.

Publishing unvetted machine proofs creates chaotic races where researchers risk duplicate work trying to decode difficult outputs. Instead of dumping raw solutions, AI companies are increasingly likely to contract professional mathematicians to interpret, translate, and verify arguments before release.

While AI is set to exponentially increase the output of mathematical proofs, it simultaneously provides the tools to manage this explosion. The same models that generate complex results can be used to quickly summarize, explain, and help humans absorb sophisticated mathematics, making the field more accessible, not less.

As AIs automate theorem proving and even explanation, the role of human mathematicians will shift. Instead of being creators, they will act as curators, using their taste and social connection to guide others through the vast, AI-generated landscape of mathematical ideas. Their value will lie in providing motivation and a human-centric narrative.