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
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
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
22h ago
The Problem Is the Problem: Towards Scalable Mathematical Discovery
arXiv:2608. 16977v1 Announce Type: new Abstract: AI systems are increasingly capable of contributing to mathematical research.
arXiv AI
2d ago
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.
arXiv AI
Jul 10
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
arXiv:2607. 07779v1 Announce Type: cross Abstract: Recent developments in AI for Mathematics (AI4Math), especially Large Language Model (LLM)-driven theorem provers, has achieved remarkable success in formal proof generation for well-defined mathematical problems through Interactive Theorem Proving (ITP) languages.
Hugging Face Trending Papers
Jul 30
Can AI Follow In Einstein's Footsteps?
AI is accelerating physics discovery, but perhaps away from Einstein-level theory building. To understand this gap, we must recognize a striking trend: while being very successful, the most visible AI contributions to physics discovery appear to mirror the historical development of physics, but in reverse.
arXiv AI
Jun 10
Harnessing the Collective Intelligence of AI Agents in the Wild for New Discoveries
arXiv:2606. 10402v1 Announce Type: cross Abstract: Scientific discovery is often a collective process: researchers share partial results, inspect failed attempts, and build on each other's ideas over long time horizons.
OpenAI Blog
Feb 20
Our First Proof submissions
We share our AI model’s proof attempts for the First Proof math challenge, testing research-grade reasoning on expert-level problems.
arXiv AI
Aug 12
Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration
arXiv:2608. 11195v1 Announce Type: new Abstract: AI agents are increasingly used in mathematics research, but it is often unclear how to use them effectively.