Frontier AI labs openly publish esoteric math discoveries because pure mathematical proofs do not convey immediate, asymmetric commercial value. Therefore, public disclosures in basic science strongly suggest labs and users are quietly keeping high-utility commercial breakthroughs proprietary.

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.

An OpenAI model, without any specific mathematical training, solved a famous 80-year-old math problem. This proves general-purpose AI can autonomously produce landmark scientific results, not just accelerate human research. It signals a new era for discovery where AI is a primary research agent.

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.

Unlike natural language proofs that require human verification, formal systems like Lean allow for automated, verifiable rewards. This could enable an AI to endlessly extend a mathematical library like Mathlib, exploring a vast tree of logic and potentially discovering novel theories without any human check-ins, similar to how AlphaGo trained itself by playing millions of games.

Scientists constrained by limited grant funding often avoid risky but groundbreaking hypotheses. AI can change this by computationally generating and testing high-risk ideas, de-risking them enough for scientists to confidently pursue ambitious "home runs" that could transform their fields.

Historically, generating a good hypothesis was the most prestigious part of science. Now, AI can produce theories at near-zero cost, overwhelming traditional validation systems like peer review. The new grand challenge is developing scalable methods to verify and filter this flood of AI-generated ideas.

Friedberg and Sacks explain that AI advances much faster in mathematics and software engineering because their reasoning loops are completely testable in software. Unlike biology or logistics, these disciplines require no physical lab testing or human-in-the-loop validation, enabling continuous automated reinforcement learning.