Back Rohan Paul

Rohan Paul· @rohanpaul_ai · X· 2026-10-28 00:00 · Original publication time AI score33

Mathematics and AI advisory group calls on OpenAI to release withheld Yang–Mills proofsMachine translation

Automatically verified and published · Generated and evidence-checked automatically; not reviewed by a human.

AI introduction

The group wants OpenAI to release the natural-language and Lean files behind its claimed existence proofs for Yang–Mills theory, quantum chromodynamics and a completion of the Standard Model. The physics files remain with reviewers led by David Gross; OpenAI’s claims alone do not establish that the proofs are valid.

Original post · Original

The article text is unavailable in this language; an existing version is shown.

Rohan Paul@rohanpaul_ai

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.

00:00 · 2026-10-28 · UTC+8

Found an error? Send a correction