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

OpenAI has announced three new discoveries in math, computer science, and physics, with external experts guiding the results in computer science and physics. The discoveries include a proof for local smoothing for the Euclidean wave equation, a refutation of the Exponential Time Hypothesis, and a deterministic algorithm for counting satisfying assignments of fixed-width CNF formulas. OpenAI is releasing the model output directly, and an independent working group will examine and explain the proofs. The company has also formed an AGMAI panel of math advisers to provide guidance on releasing the results.