OpenAI claims LLM proof of Quantum Yang-Mills existence; David Gross-led committee to verify
danintheory · x · 2026-11-05
KITP's Yang-Mills Working Group issued its second statement (Nov 3, 2026): a steering committee chaired by Nobel laureate David Gross, with Michael Douglas, Arthur Jaffe, Igor Klebanov and Nikita Nekrasov, is vetting OpenAI's claimed LLM-produced construction of Yang-Mills theory in four dimensions and QCD existence.
- Current focus: checking the Lean proof of pure Yang-Mills existence—definitions and problem statements match physics/math standards and formalization aligns with the informal treatment; proceeding well, release hoped for next week
- Any release of LLM-produced material will be announced a full day in advance
- Rules published: no NDAs, voluntary and unpaid participation, no academic credit claimed for AI discoveries, conflict-of-interest disclosure required
- Includes the subproblem of proving Quantum Yang-Mills existence, related to a Millennium Prize Problem
More from AGI Musings
- 'Compute Is the New Oil': If Nations Buy American AI Outputs, the Dollar Is Backed by Compute — TinfoilTricorn · 2026-11-05
- Ben Goertzel calls for a different kind of AI: compassion over pause debates — bengoertzel · 2026-11-05
- Tech Critic Bridget Todd Went From AI Skeptic to Telling ChatGPT Everything — TobyWalsh · 2026-11-05
- Apple's appenz: 100% of RTL Code Will Be Generated by Frontier Model Agents — appenz · 2026-11-05
- Debate: did a $4B California ballot push for a single AI lab mislead the public? — NathanpmYoung · 2026-11-05
- Stanford team wins Laude grant to study human-AI collaboration, not automation — stanfordnlp · 2026-11-05