If the ETH Disproof Holds, It Rewrites Complexity Theory
OpenAI announced that its models produced AI-generated manuscripts for three major scientific problems—including a disproof of the Exponential Time Hypothesis—all formalized in Lean and now under independent expert review. The claims are extraordinary, the formal proofs are real, and the gap between "Lean accepts this" and "the community accepts this" is where the interesting work begins.
Read more →