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.
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.
Related stories
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.
DeepMind Blog
Oct 24, 2025
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.
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...
Mistral AI
May 27
Physics AI research that’s shaping the industry.
Published breakthroughs pushing the state of the art.
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...
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.
Hugging Face Trending Papers
Aug 11
Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration
AI agents are increasingly used in mathematics research, but it is often unclear how to use them effectively. Towards this, we present an extensive case study of how AI was used to improve bounds on the Grothendieck constant $K_G$, which captures the hardness between combinatorial problems and their continuous relaxations.
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.
OpenAI Blog
Nov 20, 2025
Early experiments in accelerating science with GPT-5
OpenAI introduces the first research cases showing how GPT-5 accelerates scientific progress across math, physics, biology, and computer science. Explore how AI and researchers collaborate to generate proofs, uncover new insights, and reshape the pace of discovery.
OpenAI Blog
Jan 30, 2025
Strengthening America’s AI leadership with the U.S. National Laboratories
OpenAI’s latest line of reasoning models will be used by nation’s leading scientists to drive scientific breakthroughs.
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.