OpenAI collaborates with the academic community to build understanding of the model's scientific results
Working with academic communities to build scientific understanding
OpenAI announced that its model has produced new results in three directions: harmonic analysis, complexity theory, and quantum field theory, and is piloting a release approach in which external experts lead the organization of verification and interpretation. In mathematics, the model gave a proof of the local smoothing conjecture in all dimensions, thereby resolving the Kakeya and Stein restriction conjectures; the AI-written proof and Lean formalization have been made public. In computer science, it claims to prove that the exponential time hypothesis (ETH) is false; a group led by Russell Impagliazzo, Ramamohan Paturi, and Ryan Williams is responsible for verification, and OpenAI has committed to funding a conference to discuss its implications. In physics, it gives a proof of the existence of a four-dimensional interacting quantum field theory including gauge fields and fermions, covering the unification completion of QCD and the Standard Model; a group led by David Gross decided to temporarily withhold the AI-produced materials and write its own.
External expert groups separately took over the verification and interpretation of two AI results; the article compares the trade-offs of three release strategies, which may be a reference for those concerned about authorship and disclosure arrangements when AI participates in scientific research.