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.

A remarkable feature of the current LLM era is that AI researchers can contribute to solving grand challenges in highly specialized domains, such as winning an IMO Gold medal, without possessing deep personal knowledge of that field. The model acts as a universal tool that transcends the operator's expertise.

An AI model solved a particle physics problem that stumped scientists by simplifying a complex formula and proposing a general solution. This marks a shift from AI as a mere computational tool to a creative partner in theoretical research, which the physicists described as a "collaborator."

AI has reached a milestone by solving a theoretical physics problem that human experts were unable to resolve for over a year. This demonstrates AI's emerging superhuman capabilities in highly specialized scientific domains, marking a profound shift in research.

Physicists were stuck on a problem because manual calculations grew with factorial complexity, creating a messy, unmanageable formula. ChatGPT discovered an underlying elegant formula where complexity grows linearly, a simplification human researchers had missed for a year.

A theoretical physicist's skepticism about AI vanished when GPT-5 reproduced one of his most complex, significant research papers in half an hour. This personal "move 37" moment highlights the shocking speed of AI progress and its ability to master highly specialized knowledge.

To make genuine scientific breakthroughs, an AI needs to learn the abstract reasoning strategies and mental models of expert scientists. This involves teaching it higher-level concepts, such as thinking in terms of symmetries, a core principle in physics that current models lack.

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.

AI now generates complex scientific derivations faster than humans can validate them. For a recent quantum gravity paper, the AI produced the core results in days, but human collaborators spent three weeks just checking the work, shifting the research bottleneck from discovery to verification.