discovery
🧠 OPENAI
🔴 BIG ONE
On the Navier–Stokes Millennium Prize Problem
OPEN PROBLEM SOLVED*
3 days since last result
🧠 AI DID SCIENCE
Did AI solve anything today?
“solve” used irresponsibly.
We copy official posts from OpenAI, Anthropic, and DeepMind. A post is published. Independent validation may follow.
PUBLISHED TODAY · not solved today
discovery
🧠 CLAUDE
🟣 DID MATH
Formalizing Fermat's Last Theorem
FORMALIZED
7 days since last result
discovery
🧠 DEEPMIND
🔵 DISCOVERY
AlphaGenome Atlas: A predictive map of every possible DNA letter change in the human genome
DISCOVERY
last result this month
WHAT GOT PUBLISHED
OPENAI DID MATH
On the Navier–Stokes Millennium Prize Problem
🔴 BIG ONE
OPEN PROBLEM SOLVED*
Math / Physics
CLAIM STATUS · PUBLISHED
*according to OPENAI; independent validation may follow
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
CLAUDE DID MATH
Formalizing Fermat's Last Theorem
🟣 DID MATH
FORMALIZED
Math
CLAIM STATUS · PUBLISHED
\ Anthropic Skip to main content Skip to footer Research Policy Commitments Learn News Try Claude Science
DEEPMIND DID SCIENCE
AlphaGenome Atlas: A predictive map of every possible DNA letter change in the human genome
🔵 DISCOVERY
DISCOVERY
Biology
CLAIM STATUS · PUBLISHED
AlphaGenome Atlas: A predictive map of every possible DNA letter change in the human genome
CLAUDE DID SCIENCE
How Claude is accelerating protein design and analytical chemistry
🔵 DISCOVERY
DISCOVERY
Biology / Chemistry
CLAIM STATUS · PUBLISHED
Aug 18, 2026 Summary: In this post, we share two results that show how Claude can help life scientists increase the pace of their research. In the first, we tested Claude’s ability to design protein binders from scratch, a key task representative of the early parts of the drug design process and one that has historically taken a specialist weeks or months per target. Claude (Mythos Preview and Opus 4.8) designed protein binders against 15 targets, and succeeded against 14 of them. Between 22% and 35% of its individual designs bound successfully, depending on the setup, compared to the 10-15%
CLAUDE DID MATH
Learning more about Claude's mathematical capabilities
🟠 NEW RESULT
NEW RESULT
Math
CLAIM STATUS · PUBLISHED
Aug 10, 2026 Recently, a member of staff at Anthropic gave Claude an unreasonable challenge. It was about one of the most famous unsolved problems in mathematics: Take a real stab at the Riemann hypothesis . Claude did take a real stab, but as you might have expected if you’re familiar with the difficulty of the task (the Riemann hypothesis dates back to 1859 and has a million-dollar bounty ), it didn’t succeed. Nevertheless, during its attempt, it unexpectedly made strides on a related problem. An unreleased research version of Claude has improved on a longstanding lower bound for the fracti
OPENAI DID MATH
Ten advances in mathematics and theoretical computer science
🟠 NEW RESULT
NEW RESULT
Math
CLAIM STATUS · PUBLISHED
OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.
DEEPMIND DID SCIENCE
WeatherNext: AI model achieves breakthrough in forecasting cyclones
🔵 DISCOVERY
DISCOVERY
field not printed
CLAIM STATUS · PUBLISHED
WeatherNext: AI model achieves breakthrough in forecasting cyclones
OPENAI DID SCIENCE
A near-autonomous AI chemist improves a challenging reaction in medicinal chemistry
🔵 DISCOVERY
DISCOVERY
Chemistry
CLAIM STATUS · PUBLISHED
OpenAI and Molecule.one show how a near-autonomous AI chemist using GPT-5.4 improved a key drug-making reaction, advancing medicinal chemistry research.
OPENAI DID MATH
An OpenAI model has disproved a central conjecture in discrete geometry
🔴 BIG ONE
OPEN PROBLEM SOLVED*
Math
CLAIM STATUS · PUBLISHED
*according to OPENAI; independent validation may follow
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.
OPENAI DID MATH
GPT-5.2 derives a new result in theoretical physics
🟠 NEW RESULT
NEW RESULT
Physics
CLAIM STATUS · PUBLISHED
A new preprint shows GPT-5.2 proposing a new formula for a gluon amplitude, later formally proved and verified by OpenAI and academic collaborators.
OPENAI DID SCIENCE
GPT-5 lowers the cost of cell-free protein synthesis
🔵 DISCOVERY
DISCOVERY
Biology
CLAIM STATUS · PUBLISHED
An autonomous lab combining OpenAI’s GPT-5 with Ginkgo Bioworks’ cloud automation cut cell-free protein synthesis costs by 40% through closed-loop experimentation.
OPENAI DID SCIENCE
Measuring AI’s capability to accelerate biological research
🔵 DISCOVERY
DISCOVERY
field not printed
CLAIM STATUS · PUBLISHED
OpenAI introduces a real-world evaluation framework to measure how AI can accelerate biological research in the wet lab. Using GPT-5 to optimize a molecular cloning protocol, the work explores both the promise and risks of AI-assisted experimentation.