- AI proved the local smoothing conjecture for all dimensions, thereby resolving the long-standing Kakeya and Stein restriction conjectures.
- Via Lean formal verification, AI refuted the widely accepted Exponential Time Hypothesis (ETH), suggesting potential for more efficient algorithms.
- AI proposed a rigorous mathematical existence proof for Quantum Chromodynamics and Yang-Mills theory, a Millennium Prize problem, currently under expert review.
AI CURATED HOT STORY · 10/27/2026
OpenAI Claims Major Scientific Breakthroughs and Tests Expert-Led Disclosure
OpenAI announced breakthroughs in mathematics, computer science, and physics, claiming to have solved the local smoothing conjecture (resolving Kakeya), disproven the Exponential Time Hypothesis (ETH), and proposed a rigorous existence proof for Yang-Mills theory. Mathematical and CS results were formally verified using Lean and open-sourced, while physics findings are under review by external experts, including Nobel laureates.
The release also serves as an experiment in scientific disclosure. OpenAI introduced a 'shepherd' model involving external experts to validate and interpret AI outputs. Different strategies were applied: researchers self-interpreting math results, and expert-led guidance for CS and physics. This approach treats AI output as 'raw research data' requiring conversion into community-accepted 'scientific understanding,' aiming to build trust and streamline validation.
These claims suggest AI is evolving from a tool to an independent research agent. Disproving ETH could reshape complexity theory, while progress on Yang-Mills impacts Millennium Prize problems. By testing expert-collaborative disclosure mechanisms, OpenAI aims to establish a new paradigm for validating and disseminating AI-driven scientific discoveries.
Hourly heat curve
3 fully observed hoursThe line compares only sources observed throughout; gap hours are interpolated to keep the trend continuous.
Coverage timeline
Total 5 reports · Latest first- IT之家 · 智能时代T2·98 pts
- The Verge AIT2·68 pts
- OpenAI claims three 'major' scientific discoveries across math, CS, and physics.
- New workflow: external experts guide CS/physics results, while math outputs are left for researcher interpretation.
- Aims to mitigate controversy from previous mass releases by integrating academic oversight.
- Rohan Paul (@rohanpaul_ai)T2·95 pts
- AI claims to disprove the Exponential Time Hypothesis (ETH), affecting complexity theory research that relied on it for ~25 years.
- Solved the local smoothing conjecture (settling Kakeya) and provided rigorous proof for half of the Yang-Mills existence problem in QCD.
- Results span top-tier unsolved problems in math, CS, and physics, demonstrating AI's capability in extreme abstract reasoning.
- Hacker News AIT2·68 pts
- AI generated new findings in harmonic analysis (math), complexity theory (CS), and quantum field theory (physics).
- Proposes treating AI outputs as 'raw research data' requiring specific mechanisms for conversion into scientific understanding.
- Tests three expert-guided release strategies: autonomous researcher interpretation, collaborative explanation with public output, and expert-led release.
- OpenAI 官方博客T1·68 pts
- AI produced three new discoveries in math, CS, and physics
- Testing three collaboration models: free organization, public collaboration, and full delegation
- Focuses on transforming raw AI output into community-accepted 'scientific understanding'