OpenAI Blog
Aug 1
Ten advances in mathematics and theoretical computer science
OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.
An OpenAI model has disproved a central conjecture in discrete geometry
An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.
Related stories
OpenAI Blog
Dec 11, 2025
Advancing science and math with GPT-5.2
GPT-5. 2 is OpenAI’s strongest model yet for math and science, setting new state-of-the-art results on benchmarks like GPQA Diamond and FrontierMath.
OpenAI Blog
Dec 11, 2025
Ten years
OpenAI reflects on ten years of progress, from early research breakthroughs to widely used AI systems that reshaped what’s possible. We share lessons from the past decade and why we remain optimistic about building AGI that benefits all of humanity.
OpenAI Blog
Dec 23, 2022
The power of continuous learning
Lilian Weng works on Applied AI Research at OpenAI.
OpenAI Blog
Sep 12, 2024
OpenAI o1-mini
Advancing cost-efficient reasoning
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
Jun 11, 2020
OpenAI API
We’re releasing an API for accessing new AI models developed by OpenAI.
arXiv AI
Jun 9
Advancing Mathematics Research with AI-Driven Formal Proof Search
arXiv:2605. 22763v2 Announce Type: replace Abstract: Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability limits their utility in mathematics research.
arXiv AI
6d ago
OEIS Open: How many conjectures can language models turn into theorems?
arXiv:2608. 11941v1 Announce Type: new Abstract: We construct OEIS Open, a benchmark based on 492 open mathematical conjectures from the OEIS, formalized in Lean by Tsoukalas et al.
OpenAI Blog
Dec 11, 2015
Introducing OpenAI
OpenAI is a non-profit artificial intelligence research company. Our goal is to advance digital intelligence in the way that is most likely to benefit humanity as a whole, unconstrained by a need to generate financial return.
arXiv AI
Jul 24
Autonomous disproofs of the sum-product conjecture over $\mathbb R$ with GPT-5.5 Pro
arXiv:2607. 20525v1 Announce Type: new Abstract: OpenAI's recent disproof of the Erd\H{o}s unit distance conjecture marked a milestone for AI in mathematics.
Hugging Face Trending Papers
Aug 12
OEIS Open: How many conjectures can language models turn into theorems?
We construct OEIS Open, a benchmark based on 492 open mathematical conjectures from the OEIS, formalized in Lean by Tsoukalas et al. Whereas these conjectures had previously been attempted only with a bespoke agent, our open-source evaluation code runs any generic language model (LM) against them, and is secure against LM cheating attempts.