# Advisory group urges OpenAI to release withheld Yang-Mills proofs

> Original title: The Advisory Group on Mathematics and Artificial Intelligence has publicly called on OpenAI to release its withheld Yang-Mills proofs.

- Source: Rohan Paul
- Published: 2026-10-27T16:00:19.000Z
- Bad Influence: https://badinfluence.news/items/y8zxu1051usskyzb1kkv2vzez
- Original: https://x.com/rohanpaul_ai/status/2115111357242839117

## Summary

The Advisory Group on Mathematics and Artificial Intelligence publicly calls on OpenAI to release the natural-language and Lean outputs behind its claimed existence proofs for Yang-Mills theory, quantum chromodynamics and a completion of the Standard Model. OpenAI says its model proved Yang-Mills existence on 9 September and quantum chromodynamics on 18 September, with Lean checking the first by 16 October. The group argues that since OpenAI has said it delayed release until Lean formalization was complete, there is no scientific reason to delay further.

## Why it matters

The source sets the public demand against OpenAI's stated timeline and Lean formalization, showing where the dispute over withheld AI math results stands.

## Post

The Advisory Group on Mathematics and Artificial Intelligence has publicly called on OpenAI to release its withheld Yang-Mills proofs.

They want the natural-language and Lean outputs behind OpenAI’s claimed existence proofs for Yang-Mills theory, quantum chromodynamics and a completion of the Standard Model released now.

OpenAI says its model proved Yang-Mills existence on 9 September and quantum chromodynamics on 18 September, with Lean checking the first by 16 October.

Its Kakeya and Exponential Time Hypothesis results went straight to GitHub, while the physics files stayed with reviewers led by David Gross.

![](https://badinfluence.news/api/img-proxy?u=https%3A%2F%2Fpbs.twimg.com%2Fmedia%2FHVphXjVa8AE2Q2k.jpg&mode=thumb&exp=1793404800&sig=2c167792ae7985c1)