OpenAI Publishes Three AI-Generated Results in Math, Computer Science and Physics
The releases are being tested with outside researchers, who will check and explain the work before wider use.
OpenAI has published three AI-generated mathematics, computer science and physics results and is testing an external-collaboration release model for them. For the mathematics result, the company says its models produced a proof of the local smoothing conjecture in every spatial dimension, which would also settle the Kakeya and Stein restriction conjectures in all dimensions, and it has released the natural-language write-up and a Lean proof publicly. In computer science, its system reportedly showed the Exponential Time Hypothesis is false, a result verified in Lean, and an external group led by Russell Impagliazzo and Ramamohan Paturi will explain it. For developers and researchers, the practical question is how far the refutation shifts hardness assumptions that hundreds of papers rely on, though the company notes that turning it into faster algorithms will take substantial further work. The physics result will be written up by its external group before any AI artifacts are released.
Why it matters
For researchers, the Exponential Time Hypothesis result matters most. Hundreds of papers have used that hypothesis to derive conditional hardness results, so its refutation puts those conditional claims in question. The company says turning the result into faster algorithms will take substantial further work, so the immediate change is to the assumptions themselves rather than to practical computing. The collaborations also commit to transparency, with no nondisclosure agreements and no academic credit claimed by OpenAI.
Matters or hype?
Does this story matter, or is it hype? Vote before you see what everyone else said.