01THE PROOF DESKA very big proof meets a very big magnifying glassOpenAI's claims are now in the hands of researchers
OpenAI's October 26 release claims a refutation of the Exponential Time Hypothesis, a longstanding assumption used to derive conditional limits on computation. It says the result was formalized and checked in Lean. An external group led by Russell Impagliazzo, Ramamohan Paturi and Ryan Williams will examine and explain it.
The company also claims an all-dimensions local-smoothing proof and a rigorous existence result for quantum chromodynamics. Public materials differ: the mathematics and computer-science outputs are available, while the physics group led by David Gross is withholding its artifacts as it develops a write-up.
These are company-reported research results under expert examination. They do not establish practical speedups or settle P versus NP. Our read: publishing the work gives researchers something concrete to test; it does not make the testing redundant.



