David Gross-led committee to vet OpenAI's 1147-page proof of quantum Yang-Mills existence
Dr_Singularity · x · 2026-10-28
A shepherding committee chaired by Nobel laureate David Gross (with Michael Douglas, Arthur Jaffe, Igor Klebanov, Nikita Nekrasov) confirmed that OpenAI's LLM produced a 1147-page proof of the existence of quantum Yang-Mills theory, including coupling to fermions — described as a step toward putting QFT on rigorous mathematical footing, building on Wilson's lattice regularization and Balaban's renormalization group work. OpenAI is providing a Lean formalization; the committee will validate definitions, release the Lean proof, then publish its assessment alongside the full proofs. They call it an experiment in how academia handles AI-generated breakthroughs, proceeding 'very carefully.'
Related event: David Gross leads review of OpenAI's 1147-page Yang-Mills proof(3 posts)→
More from AGI Musings
- Marc Andreessen: Europe is "determined to be left behind" on AI and would happily skip it entirely — 2C_ornot2C · 2026-10-28
- AI can prove famous math problems now, but open-ended science is the real test — miniapeur · 2026-10-28
- The Sane Asylum: Inside Silicon Valley's AI-Era Collective Breakdown — DevinLewtan · 2026-10-28
- Paras Chopra: "AI-generated" labels will fade; "100% human" will flourish — paraschopra · 2026-10-28
- Shared: Emergent Alignment From Competition — Aaroth · 2026-10-28
- Long read: AGI is arguably already here, but mind uploading is far harder than scaling — UAP44 · 2026-10-28