Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?
What's happening
OpenAI announced that its internal models produced three formalized results, including a claimed disproof of the Exponential Time Hypothesis (ETH). The team says the math and computing work has been formalized in Lean and published; independent experts are now reviewing the claims and the people who proposed ETH are checking the work. OpenAI also reported a proof of the local smoothing conjecture (with consequences for Kakeya and Stein's restriction conjecture) and a rigorous existence proof for quantum chromodynamics and pure Yang-Mills, and TechCrunch interviewed an MIT computer scientist about the ETH claim.
Why it's trending
Multiple outlets and researchers are actively examining and discussing OpenAI's formalized claims right now, making the ETH disproof a live, high-impact development.
SignalHolding at its usual pace, confirmed across 2 independent source types.
Momentum
Score per dayStory volume
Stories per dayAngles you could write
If an LLM really refuted the Exponential Time Hypothesis, the math community shouldn't celebrate yet, verification matters more than the headline.
+2 more angles for this topic with an account — all it takes is your email.
Original sources9
- Researchers are getting tired of OpenAI gatekeeping its breakthroughs
On Monday, OpenAI announced impressive breakthroughs in mathematics, computer science, and physics, along with what the company says is an evolving approach to communicating its findings. But despite its apparent course correction, researchers who spoke to The Verge are growing increasingly tired of the company's antics. It has been a turbulent few months between OpenAI […]
The Verge AIOct 27 - Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?
TechCrunch spoke to the MIT computer scientist charged with explaining OpenAI's latest mind-bending discovery.
TechCrunch AIOct 27 - OpenAI just scooped human researchers on a million-dollar quantum math problemr/artificialOct 27
+6 more sources for this topic
Create an account to follow the full coverage in the live radar.
More rising in AI & Tech
- Google announces Gemini 4 Carbon, its latest frontier AI model that you can't useSurging6.0Surging6.0 momentum
- Google alters its cloud playbook, enlisting partners to sell more AI chipsClimbing2.3Climbing2.3 momentum
- Google admits AI search makes less money, but it's fixing that with more adsClimbing2.8Climbing2.8 momentum
- AI chip boom tripled South Korea's economic growth in the third quarterSteady1.0Steady1.0 momentum
- AI 'hacker' finds 4 severe bugs in popular industrial control software in under 4 hoursSteady0.7Steady0.7 momentum
- Anthropic IPO warns its AI could blackmail people, become sentient, end humanityClimbing2.8Climbing2.8 momentum