OpenAI Announces Three Scientific Breakthroughs in Mathematics, Computer Science, and Physics
The company engaged independent experts in physics and computer science, while making mathematical proofs available for review by the scientific community
The company presented three claimed AI-driven results in mathematics, computer science, and physics. For the latter two fields, external specialists were brought in to verify the findings, while mathematical experts recommended immediate publication of the results.
In mathematics, the model, according to the company, proved Sogge’s conjecture on local smoothing of the wave equation in Euclidean space. The work also confirmed several Kakeya conjectures and Stein estimates. Experts suggested that such publications should be accompanied by formalized proofs in Lean, criteria for task selection, and mechanisms for funding their analysis.
In computer science, the AI, as claimed, refuted the exponential time hypothesis. The presented algorithm counts the number of solutions for a specific class of logical problems faster than the exponential method under limited memory conditions. An independent group of scientists will study and explain the proof.
Regarding the physics result, it is currently known only that it contains a rigorous mathematical proof of the existence of certain interacting quantum field theories with gauge fields and fermions in four-dimensional space, including quantum chromodynamics and a unified extension of the Standard Model.
In an open letter, the company proposed discussing rules for early access to AI results, recognition of contributions to discoveries and their verification, as well as support for students and researchers.
