OpenAI announces three big science discoveries and a new way to work with academics

OpenAI released three claimed "major" results — a proof of Sogge's local smoothing for the Euclidean wave equation (also yielding the Kakeya maximal and dimension conjectures and Stein's spherical restriction estimates), a deterministic subexponential-time algorithm for fixed-width CNF counting that would refute the Exponential Time Hypothesis, and a mathematically rigorous existence proof of certain interacting quantum field theories in four dimensions including QCD. External experts will shepherd the computer science and physics results, while the math output is released directly for researchers to work through; OpenAI also acknowledged an AGMAI panel's recommendation that AI companies not adopt the practice of designating certain people to receive output first.