Independent Yang-Mills Working Group forms on GitHub to verify OpenAI-submitted math proofs
bronzeagepapi · x · 2026-11-11
A 'Yang-Mills Working Group' has published its plan and submission policy on GitHub to collect, verify and assess gauge-theory math proofs — from OpenAI, other organizations, or individual researchers — covering pure Yang–Mills, QCD and chiral SU(5).
- Each accepted submission gets its own archive repo preserving files, authorship, licenses and checksums
- Separate results repos will aggregate submissions, independent checks, informal explanations, comparisons and assessments
- Assessments will explicitly distinguish formal theorems, informal claims and the group's conclusions
- Public comments accepted by email without a GitHub account
It amounts to community-built independent peer-review infrastructure for AI-generated mathematical proofs.
More from Research
- Google DeepMind Weather is hiring Student Researchers for next year — LucaAmb · 2026-11-11
- Google preprint StreamVibe trains streaming-video assistants on when to speak up — jiqizhixin · 2026-11-11
- Sampling latents from the output GMM to synthesize random inputs — caglar_ee · 2026-11-11
- K-means classifier is a GMM special case: likelihood enables OOD detection — caglar_ee · 2026-11-11
- Sable proves bit-exact LLM inference: Qwen2.5-32B verified on one GPU in 92.5s — MoonMath-ai · 2026-11-11
- AACL 2026 tutorial maps diffusion language models, slides now public — Bollegala · 2026-11-11