US-based artificial intelligence company OpenAI announced that its AI models have achieved three significant scientific breakthroughs in the fields of mathematics, computer science, and quantum physics. The company said it has launched collaborations with expert researchers to verify the findings and assess their broader scientific implications.
In mathematics, the AI models proved the local smoothing conjecture in harmonic analysis across all dimensions — a problem that had long resisted resolution. In computer science, the models produced results that challenge the Exponential Time Hypothesis (ETH), which had been widely accepted as correct for decades. In the field of quantum physics, the AI generated findings supporting the mathematical existence of certain quantum field theories, including quantum chromodynamics (QCD).
OpenAI said it plans to pursue three distinct approaches to establish the scientific validity of these results. The raw data behind the findings will be made available for independent review, and researchers will be able to examine and independently verify the AI-generated outputs. The company also announced it will fund a conference dedicated to discussing the implications of the findings for computer science.
The mathematical proofs produced by the AI were verified using Lean, a formal proof verification system. The announcements are being seen as a significant indication that AI systems may be capable of making original scientific discoveries, not merely processing existing knowledge.
