Postdocs Release AI-Assisted Partial Yang-Mills Progress on GitHub After OpenAI Claim
doublefelix921 · reddit · 2026-10-28
Two mathematician/physicist postdocs (MIT and Harvard/Oxford) report substantial progress toward 4D Yang-Mills existence, extending Bałaban's method to renormalised Wilson loop expectations, on a $500 budget with Claude and ChatGPT as major contributors. Prompted by OpenAI's claim, they released timestamped PRs on GitHub (MathePhysics/4DWilsonLoopRG) and pitch a 'community-generated mathematics' model: live visible progress, honest attribution, and formalized proofs later — an experiment in how post-AI math could be done as much as a partial result.
More from AGI Musings
- Risk researcher: policy briefings still recapping what Yudkowsky argued a decade ago — davidmanheim · 2026-10-28
- Blogger argues "infohazards" don't exist, just moralized curiosity control — ryunuck · 2026-10-28
- AI is decoupling consumption from attention — "adblock on steroids" for all time-spent businesses — signulll · 2026-10-28
- tszzl: frontier lab equity value is unknowable — nationalization or slowdown both possible — tszzl · 2026-10-28
- AI Science vs. Human Science: An Essay Inspired by Thurston's Math Philosophy — hugo_larochelle · 2026-10-28
- Top econometricians publish paper on how their LLMs wrote it — lihua_lei_stat · 2026-10-28