Claude may have sketched an existence argument for 4D Yang–Mills, verification pending

ResultBackground2450 · reddit · 2026-10-17

A Reddit post reports that mathematician Levent Alpöge, working with Ethan Sussman, attempted to have Claude complete Balaban's program for constructing Yang–Mills theory — and Claude may have produced an existence argument for 4D Yang–Mills, one of the Millennium Prize Problems. Rigorous verification is still pending. The related documents are public on the GitHub repo ethanwsussman/Yang--Mills-LLM-experiment (still under construction).

Related event: Harvard Mathematicians Use Claude to Tackle Yang-Mills Construction, Open-Source the Process(2 posts)→

Original post →

More from Models

• Grok Bots Roll Out on Grok Web and Mobile, Filling the Gap OpenAI's Dots Leaves Open — testingcatalog · 2026-10-17
• Meta terms reportedly grant itself rights to scrape the open web for AI training — VeryWellVersed · 2026-10-17
• Codex users lose remote usage tracking, leaving only an edit button — No-Butterscotch-218 · 2026-10-17
• Dev asks why non-tech users prefer ChatGPT when Claude is 'far better' — prasenx · 2026-10-17
• ChatGPT's annoying regressions: garbled input, broken inline images, constant timeouts — ChristianKl · 2026-10-17
• Model tweaks barely move MMLU but easily break generative tasks — aryaman2020 · 2026-10-17

Models channel →