OpenAI Releases Verified AI Proofs

On October 18th, 2026, OpenAI released three new scientific discoveries in mathematics, computer science, and physics. The system proved the local smoothing conjecture in every dimension and refuted the Exponential Time Hypothesis. External experts will shepherd the results under principles of transparency and no academic credit for the AI.