Math-AI advisory group publicly calls on OpenAI to release its withheld Yang-Mills proofs
rohanpaul_ai · x · 2026-10-28
The Advisory Group on Mathematics and Artificial Intelligence has publicly called on OpenAI to release its withheld Yang-Mills proofs — both 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.
OpenAI says its model proved Yang-Mills existence on September 9, but details remain unreleased, prompting demands for verification.
Related event: IAS Advisory Group Presses OpenAI to Release Yang-Mills Proof Outputs(3 posts)→
More from Research
- Study examines how LLMs could lower the bar for chemical weapons attacks — davidmanheim · 2026-10-28
- SG-Splat: Pose-Free Feed-Forward 3DGS Decouples Geometry and Attributes for Stability — zhenjun_zhao · 2026-10-28
- CVPR 2026 Highlight: Pose Graph Optimization Fixes ACE-Zero Drift, Matches COLMAP — zhenjun_zhao · 2026-10-28
- VGGT Knows More About Its Pose Failures Than It Reports: Linear Probe Hits 93.5% AUC — zhenjun_zhao · 2026-10-28
- TLP: Single-Parameter Point Cloud Registration with Truncated Lp Functions — zhenjun_zhao · 2026-10-28
- AI labor paper: Amdahl's Law explains who gets hit and who's shielded — not just the young — soumitrashukla9 · 2026-10-28