OpenAI posted big news today. Researcher Dan Roberts shared it on X. OpenAI's models cracked three hard problems at once. One sits in math. One sits in computer science. One sits in physics.
The math result touches wave behavior. Experts call it the local smoothing conjecture. The same proof also settles the Kakeya conjecture. That puzzle stood open since 1991. Human mathematicians had solved it one dimension at a time. OpenAI says its model solved every dimension together.
The computer science claim lands bigger. It says the Exponential Time Hypothesis is false. That hypothesis guessed certain hard problems always take huge time to solve. Many later proofs leaned on that guess. OpenAI built an algorithm that breaks the old guess.
The physics claim touches quantum field theory. It offers a rigorous proof tied to quantum chromodynamics. That theory explains forces deep inside atoms.
OpenAI checked its math and computer science proofs in Lean. Lean is a tool that checks logic step by step. The company posted the work in a public code library on GitHub.
Dan Roberts' post spread fast today. It pulled 5,737 likes within hours. Readers added 253 replies and 880 reposts. A Hacker News thread about the claims hit 915 points. That same thread gathered 443 comments. The GitHub library gathered 15,843 stars. Search traffic for the term jumped too. Its Wikipedia page logged 12,910 views in one day. The day before, that page logged only 37 views.
Mathematicians kept a careful tone past the hype. OpenAI handed the computer science proof to outside checkers. MIT's Ryan Williams joined that group. He agreed to review the claim for free.
The moment says something plain about the AI race today. Top labs now chase pure science, past chatbots and search tools. A system that can touch a decades-old math puzzle raises the bar for every rival lab watching.