OpenAI's 1147-page Yang-Mills proof faces its first expert assessment: not proven yet
mishig25 · x · 2026-11-13
David Louapre (HF) unpacks OpenAI's claimed progress on the Yang-Mills existence and mass gap problem — a $1M Clay Institute question. OpenAI released a 1147-page manuscript with a Lean-verified proof, but Lean can't confirm the definitions match what mathematicians care about. The specially convened expert group has published its first assessment: not quite proven yet. The article also explains QFT, the strong force, and why the mass gap matters for particle physics.
Related event: Experts Question OpenAI's 1000-Page Yang-Mills Proof, Mass Gap Unsolved(3 posts)→
More from Models
- Claude back online after brief outage, developer confirms service restored — Salmaaboukarr · 2026-11-13
- Google appears to be dropping explicit caching: new API and Gemini 4 lack support — danson729 · 2026-11-13
- One prompt, 2,200 lines: ERNIE 5.5 Flash Preview builds animated sneaker site in under 5 min — Div_pradeep · 2026-11-13
- Leaderboards miss vision skills: why DeepSeek's chart-reading progress doesn't show up in rankings — TwoBlueFools · 2026-11-13
- Terminal-Bench 4.0 Cost Math: GPT-6.1 Sol Matches Opus 5.5 at ~1/8 the Price — LeadershipNo2904 · 2026-11-13
- HF staffer spotlights basal-2.0-mini, a 1.5B decision-tuned model from Bielik — lhoestq · 2026-11-13