OpenAI claims AI disproves Exponential Time Hypothesis and proves 4D QFT existence
Current overview (not historical)
OpenAI claims its AI system has disproven the Exponential Time Hypothesis (ETH) in computational complexity theory, asserting that Boolean satisfiability (SAT) problems can be solved outside of exponential time. If validated, this would overturn a foundational assumption in theoretical computer science. Separately, OpenAI states the AI has proven the existence of four-dimensional quantum field theory in (3+1) spacetime. To verify these results, OpenAI has recruited external experts, including a Nobel laureate, to act as 'shepherds' reviewing AI-generated proofs, with the mathematics translated into the Lean format for formal verification.
Written with AI from the reporting · updated 10/27/2026
Expand the detailed fact route and sources
Story route
A station-by-station route from the first public evidence onward; every station carries its own evidence and uncertainty.
- 1Unclassified fact stationOct 27, 00:00recorded Oct 27, 20:41single sourcerevised
OpenAI 请外部专家验证 AI 数学、计算机科学和物理证明
Read original source ↗ The DecoderReplay this moment in the explorerEvidence & revisions · 1 source records
- Subject：
- openai
- Action：
- 请求外部专家作为‘牧羊人’检查 AI 生成的证明
- Object：
- 数学、计算机科学和物理证明
- Occurred (fact side)：
- Oct 27, 00:00
- Published (valid side)：
- Oct 27, 20:37
- First seen (known side)：
- Oct 27, 20:41
Fact stationSingle source · one-sided claimRevisedCopy may have been revised later; time replay is bounded. Layer labels group reading only, not causation between layers.
Uncertainty marks flag where to check the sources; they are not proven causation.
Report timeline
Explore every side through dated source reports.
- The DecoderSelectedRelated fact: single sourceSource report revisedOpenAI claims to disprove Exponential Time Hypothesis with expert verification
Report first recorded Oct 27, 20:41
OpenAI enlisted outside experts, including a Nobel laureate, to verify AI-generated proofs in math, computer science, and physics. In mathematics, the AI claims to have disproven the Exponential Time Hypothesis (ETH), a long-standing assumption in computational complexity theory that underpins hundreds of research papers. In computer science, the system claims to have solved the Boolean satisfiability problem (SAT) faster than exponential time, connecting it to the P versus NP problem. In physics, OpenAI states its AI proved the existence of four-dimensional quantum field theory.
Read original source ↗
Event activity trend
- Latest comparable
- 3
- Comparable peak
- 6Oct 28, 14:00
- 24h change
- -51%
The chart compares consistently observed participants only. Hover or tap to inspect each hour; use arrow keys to move between observations.
Event discussion
Reader opinions are hosted on GitHub Discussions; posting requires a GitHub account. Comments are not verified facts.