# The Yang-Mills Publicity Stunt

Source: [Not Even Wrong](https://www.math.columbia.edu/~woit/wordpress/?p=15986) · 2026-11-11 · Physics
Page: https://themorning.science/story/the-yang-mills-publicity-stunt-e3ab62bc739a7a6d
Kind: research · Impact: medium

## In brief

- The shepherds of the claimed OpenAI Yang-Mills proof released its Lean code, along with a validation and an assessment.
- The OpenAI press release of October 26 claimed to have proved existence of quantum chromodynamics and completions of the Standard Model.
- The source is a single blog post by Peter Woit, which frames the episode as a publicity stunt.

## Why it matters

The release of formal Lean code lets readers check the claimed proof directly, which bears on how much weight to give AI-generated claims about a Millennium Prize problem.

## Timeline

- 2026-10-26: OpenAI press release claims a proof of existence of quantum chromodynamics and completions of the Standard Model
- 2026-11-10: Shepherds of the OpenAI Yang-Mills proof release the Lean code, a validation and an assessment

## Coverage

- [The Yang-Mills Publicity Stunt](https://www.math.columbia.edu/~woit/wordpress/?p=15986) — Not Even Wrong, 2026-11-11

Tags: yang-mills, lean, formal verification, openai, quantum chromodynamics

---

Brief generated by AI (claude-haiku-5-5) from the reporting listed under Coverage. Headlines belong to their publishers. The Morning Science – https://themorning.science