Generative AI can produce the "miraculous" insights needed for formal proofs, like finding an inductive invariant, which traditionally required a PhD. It achieves this by training on vast libraries of existing mathematical proofs and generalizing their underlying patterns, effectively automating the creative leap needed for verification.

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.

AI's creative process mirrors Karl Popper's model of science. A generative model 'conjectures' plausible hypotheses (or hallucinates), and a verifier then attempts 'refutation' by testing them against hard criteria. This explains why AI currently excels in verifiable domains like code and mathematics, where correctness can be proven.

Future AI-driven mathematical discoveries will likely follow two paths. One is finding 'lightning bolt' connections between existing, disparate fields (e.g., number theory and physics). The other, more profound path, is 'mountain building'—constructing entirely new theoretical frameworks, a skill signifying a much higher level of general intelligence.

AI models are trained on vast datasets of existing knowledge. Like a librarian who has read every book, their answers represent an average of what they have 'read.' This makes AI an aggregator of existing ideas, not a generator of truly novel, outlier concepts.

Like DeepMind's AlphaFold, which predicted millions of protein structures to fill gaps in the proteome, mathematical AI will systematically solve known conjectures. This creates a vast, verified library of mathematical knowledge, which in turn becomes a more powerful foundation for solving even harder problems in a recursive, self-improving loop.

Moving beyond solving existing problems like the Millennium Prize problems, the true test of advanced AI in mathematics will be its ability to generate novel, interesting conjectures and create new, unifying definitions. This represents a higher tier of mathematical creativity, akin to the work of the greatest mathematicians who frame the questions for others to solve.

AI's key advantage isn't superior intelligence but the ability to brute-force enumerate and then rapidly filter a vast number of hypotheses against existing literature and data. This systematic, high-volume approach uncovers novel insights that intuition-driven human processes might miss.

A key, underappreciated advantage of AI is its potential for systematic context-switching. Unlike humans who get stuck in a single line of reasoning, AI systems can be programmed to simultaneously pursue contradictory goals (e.g., proving and disproving a theorem) or be given different starting biases, allowing them to escape cognitive ruts and explore a problem space more thoroughly.