DEVOURED
OpenAI says its models disproved the Exponential Time Hypothesis
OpenAI claims its models have produced a Lean-verified proof that disproves the long-standing Exponential Time Hypothesis.
What: OpenAI announced three major mathematical and scientific breakthroughs across harmonic analysis, complexity theory, and quantum field theory. The results include a formal proof of the negation of the Exponential Time Hypothesis, which will be verified by external experts including its original creators.
Why it matters: This marks a pivot for AI labs from model generation to active mathematical discovery, signaling that frontier models are becoming capable of contributing original research in theoretical computer science.
Decoder
- Exponential Time Hypothesis (ETH): A computational complexity conjecture stating that 3-SAT (a foundational problem) cannot be solved in sub-exponential time.
- Lean: A functional programming language and theorem prover used for verifying formal mathematical proofs.
Original article
OpenAI announced three model-produced results in harmonic analysis, complexity theory, and quantum field theory, including a Lean-verified proof that the long-standing Exponential Time Hypothesis is false. Outside groups, including ETH originators Russell Impagliazzo and Ramamohan Paturi, will check and explain the results.
Explore all 40 articles in today's digest
Fresh dev news, AI-digested daily. Never miss a trend at devoured.fyi