Maybe Changed.
tiny things on the internet we keep checking so you don't have to
MC currently stands for Mentally Checking
🟠 NEW RESULT
Sharing AI progress in mathematics
34 days since last result
Official posts only. We do not say they solved it. We say they published a claim.
OPENAI DID MATH
🟠 NEW RESULT
NEW RESULT
Math
CLAIM STATUS · PUBLISHED
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
OPENAI DID MATH
🔴 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.
OPENAI DID MATH
🟠 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.
OPENAI DID SCIENCE
🔵 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
🔴 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
🟠 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
🔵 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
🔵 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.