DeepMind Blog
Oct 29, 2025
Accelerating discovery with the AI for Math Initiative
The initiative brings together some of the world's most prestigious research institutions to pioneer the use of AI in mathematical research.
Discovering new solutions to century-old problems in fluid dynamics
Our new method could help mathematicians leverage AI techniques to tackle long-standing challenges in mathematics, physics and engineering.
Related stories
Hugging Face Trending Papers
Aug 24
What is mathematics now, and what should it be?
Advances in neural theorem provers have been impressive, but the successes obscure a broader vision of what AI can do for mathematics and how mathematicians can engage with AI. This essay advances a m...
arXiv AI
Sep 3
AI Mathematician: Towards Fully Automated Frontier Mathematical Research
The paper introduces the AI Mathematician (AIM) framework, which leverages Large Reasoning Models (LRMs) to tackle frontier mathematical research. AIM addresses the complexity and procedural rigor of research problems through an exploration mechanism for longer solution paths and a pessimistic reasonable verification method for reliability. Early experiments show AIM can autonomously construct significant proof components and uncover non‑trivial insights across real‑world mathematical topics.
OpenAI Blog
Nov 24, 2025
GPT-5 and the future of mathematical discovery
UCLA Professor Ernest Ryu and GPT-5 solved a key question in optimization theory, showcasing AI’s role in accelerating mathematical discovery.
arXiv AI
Aug 25
What is mathematics now, and what should it be?
arXiv:2608.23218v1 Announce Type: new Abstract: Advances in neural theorem provers have been impressive, but the successes obscure a broader vision of what AI can do for mathematics and how mathemati...
OpenAI Blog
Sep 8
On the Navier–Stokes Millennium Prize Problem
OpenAI shares an AI-generated solution to the Navier–Stokes Millennium Prize Problem, providing both a writeup and a formal proof written in Lean.
arXiv AI
Jun 17
First Proof Second Batch
arXiv:2606. 18119v1 Announce Type: new Abstract: To assess the ability of current AI systems to correctly solve research-level mathematics problems, we tested several AI systems on a set of ten problems in a broad range of mathematical fields; these problems arose naturally in the research process of the contributors.
arXiv AI
Sep 17
AI and Human Approaches to Mathematical Problem Solving
The article compares how AI systems and human mathematicians approach 11 long-standing mathematical problems. It finds that AI reports focus more on solving the problem and linking ideas across fields, while human papers emphasize method explanation, assumptions, limitations, and future questions. Both approaches show similar levels of generality, but differ in their research profiles.
arXiv AI
Aug 19
The Problem Is the Problem: Towards Scalable Mathematical Discovery
The paper introduces a new human‑AI collaboration paradigm for mathematical discovery, shifting from selecting individual problems to exploring broad research directions. It presents the Find, Attempt, and Recommend (FAR) pipeline, which automatically searches a literature corpus, filters candidate conjectures, and surfaces promising resolutions for expert review. In a combinatorics pilot, FAR processed over 5,000 papers, identified thousands of open conjectures, and ultimately highlighted 77 items that led to new discoveries.
arXiv AI
Aug 17
The Past and Future of AI Scientists
arXiv:2608. 14407v1 Announce Type: new Abstract: We present a survey of the past and future of AI Scientists: machines capable of automating science.
arXiv AI
Jul 21
Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory
arXiv:2607. 17388v1 Announce Type: cross Abstract: We investigate the capacity of current language models to contribute to mathematical research.
arXiv Machine Learning
Jun 9
Data-driven discovery of governing differential equations across physical systems
arXiv:2606. 09638v1 Announce Type: new Abstract: Differential equations play a critical role in scientific discovery because they provide a mathematical framework to describe the behaviour of physical phenomena.