OpenAI Claims AI Models Achieve Breakthroughs in Math, CS, and Physics

OpenAI has announced that its AI models have produced three major scientific discoveries in mathematics, computer science, and physics, sparking both excitement and skepticism in the academic community. The claims include a proof of the local smoothing conjecture in all dimensions, a refutation of the Exponential Time Hypothesis (ETH), and a rigorous proof of the existence of certain quantum field theories, including Quantum Chromodynamics (QCD). Source: Al Jazeera Source: Gizmodo

The Discoveries

• Mathematics: OpenAI's model proved the local smoothing conjecture for the Euclidean wave equation in every spatial dimension, which also implies the Kakeya conjecture and Stein's spherical restriction estimates. Source: The Verge Source: The Next Web
• Computer Science: The model produced a deterministic algorithm that exactly counts satisfying assignments of fixed-width CNF formulas in subexponential time, refuting the widely believed Exponential Time Hypothesis (ETH). Source: TechCrunch Source: The Next Web
• Physics: OpenAI claims a mathematically rigorous proof of the existence of interacting quantum field theories in four dimensions, including QCD and pure Yang-Mills theory, which is part of a Clay Millennium Prize problem. Source: Gizmodo Source: The Next Web

Academic Reaction and Collaboration

Reactions have been mixed. MIT professor Ryan Williams, who previously called an OpenAI proof dump a "DDOS attack on mathematicians," has agreed to help organize an independent examination of the ETH result, along with ETH co-authors Russell Impagliazzo and Ramamohan Paturi. Source: TechCrunch Source: The Next Web Anthropic mathematician Levent Alpöge suggested OpenAI's solutions were based on pre-existing work, and Anthropic later released its own ETH refutation. Source: TechCrunch Alex Iosevich, a mathematician at the University of Rochester, called the local smoothing proof a "historic development" but expressed a "twinge of sadness" about the changing nature of theoretical mathematics. Source: Al Jazeera

OpenAI's New Release Strategy

OpenAI says it does not seek academic credit and has structured releases differently per field: the math results were made public immediately on GitHub, the computer science group requested public release and a funded conference, while the physics group, led by Nobel laureate David Gross, will defer release to write their own interpretation. Source: TechCrunch Source: The Next Web OpenAI acknowledged that choosing "shepherds" creates "asymmetry of information." Source: Al Jazeera