# OpenAI claims Yang-Mills existence proof as experts begin review

_Published Tuesday, October 27, 2026 at 11:18 PM EDT · AI, Science · Latest · Tier 2 — Notable_

![OpenAI Logo — Primary](https://d.techtimes.com/en/full/477266/openai-logo.jpg)

OpenAI announced on October 26 that its internal AI models had produced proofs addressing problems in theoretical physics, mathematics and computer science, Tech Times reported. The company claims a proof that Yang-Mills theory exists mathematically, but it does not address the mass gap required to solve the full Millennium Prize Problem.

A five-person review group led by David Gross is holding the physics materials while preparing its own account. OpenAI published its claimed local smoothing proof and its formalization in Lean, software that checks logical steps. None of the three results has been independently verified; Lean checking alone cannot establish that a formal statement faithfully represents the intended mathematical problem.

## Sources

- [Tech Times](https://www.techtimes.com/articles/329596/20261027/openai-claims-yang-mills-proof-nobel-laureate-whose-discovery-enables-it-now-reviews-it.htm)

---
Canonical: https://techandbusiness.org/newswire/WNZfibpejxF6v0qMcQUin1
Published: 2026-10-28T03:18:26.939Z
Story chronology: 2026-10-26T00:00:00.000Z
Retrieved: 2026-10-28T05:51:40.703Z
Publisher: Tech & Business (techandbusiness.org)