OpenAI is coordinating with external research groups to verify the physics and computer science results, including collaboration with original ETH proposers Russell Impagliazzo and Ramamohan Paturi. The company posted the natural language proofs and Lean formalizations to GitHub for community verification. For the mathematical findings on the Kakeya conjecture, OpenAI released the raw AI output without an external collaborator group.
Story
OpenAI AI Disproves Longstanding Exponential Time Hypothesis in Computer Science
AI11 hours ago
OpenAI announced that its AI system has made three new scientific discoveries, including a disproof of the Exponential Time Hypothesis (ETH), a longstanding conjecture regarding the computational complexity of Boolean formula satisfiability. The computer science breakthrough, which was verified in Lean, could change the search for better algorithms for tasks related to the P vs. NP problem. In addition to the ETH result, the AI proved the Kakeya conjecture in mathematics and the existence of quantum chromodynamics in physics.
Looking for more context or analysis?
Tilt chat provides reliable, tailored insights, alerts, and automations.