Mathematicians
AI replacement rate
45%This role is currently tracked with 10 timeline items plus a profile-based replacement estimate.
AI capabilities are increasingly demonstrating proficiency in complex mathematical reasoning, including solving long-standing problems, suggesting a notable potential for automation in certain aspects of a mathematician's role.
Replacement trend
Aggregated from periodic refresh snapshots- 2026-04-2040%
Why this role is rated this way
Structural baseOpenAI's reasoning model reportedly disproved a geometry conjecture unsolved since 1946, a feat validated by mathematicians. This demonstrates AI's capacity to engage in high-level, creative mathematical problem-solving that was previously thought to be exclusively human.
The core of mathematics involves systematic application of rules and logical transformations. AI models are highly adept at performing complex calculations, symbolic manipulation, and following intricate logical steps, which constitute a significant part of a mathematician's analytical work.
While AI can solve specific problems, the broader scope of a mathematician's work involves formulating new conjectures, developing novel theories, and engaging in collaborative research and teaching, which require human creativity, intuitive problem framing, and interpersonal communication that AI cannot fully replicate.
Timeline
Relevant news and cases, newest firstOpenAI's reasoning model has reportedly solved an 80-year-old geometry conjecture, a claim validated by mathematicians, indicating a significant advancement in AI's capability to tackle complex mathematical problems.
Open originalSubjects lying dormant to an extent, only improved when in demand, proofs being turned constructive just now, etc. Functional analysis is a box mathematicians feels comfortable in. Thinking deep about messy cat images scares them. $\endgroup$ ... Pattern Theory -- David Mumford and Agnès Desolneux. One could consider this as an AI book for mathematicians.
Open originalMath Inc. is reporting initial ... with its AI, Gauss, having formalized two complex proofs related to sphere-packing in higher dimensions by Fields Medalist Maryna Viazovska. Meanwhile, the independent research community has demanded higher standards of evidence. In February 2026, 11 leading mathematicians published ...
Open originalDeveloping mathematical models and theories — the actual creative heart of mathematics — is at only 42% automation. [Fact] AI can suggest patterns in data. It can verify proofs using systems like Lean.
Open originalArtificial intelligence models are being developed to verify mathematical proofs and solve complex problems, potentially accelerating progress in pure mathematics. | Science & technology
Open originalA start-up has surprised the scientific community with a breakthrough: translating a modern proof into a programming language for verification using AI. But not everyone is celebrating ... A new era in mathematics may be on the horizon—one that some researchers have long desired. Mathematicians could soon use computers to verify proofs quickly and rigorously, ensuring published proofs are correct and providing a foundation for further advances.
Open originalRecent developments show that AI can prove research-level theorems in mathematics, both formally and informally. This essay urges mathematicians to stay up-to-date with the technology, to consider the ways it will disrupt mathematical practice, ...
Open originalAxiom Math, a startup based in Palo Alto, California, has released a free new AI tool for mathematicians, designed to discover mathematical patterns that could unlock solutions to long-standing problems.
Open originalEven formalising proofs can generate important insights, says Mehta, and he and his colleagues will now need to untangle the 200,000-line AI proof to work out what might be useful for other projects. But mathematicians are still hopeful there will be a place for them in an increasingly machine-led future. Looking to history, Commelin says that manual calculations were once a large part of being a mathematician, but they are now done automatically.
Open originalAcross universities, proof assistants such as Lean and Coq have already begun to change how mathematicians document their work. Tao described them as “languages that can encode mathematical proofs,” where every step must compile correctly. “You can get a language model to output a proof in Lean,” he said, “and the compiler will automatically check whether it’s valid.
Open original