Reddit: OpenAI's Yang Mills existence Lean proof released and verified on GitHub
FateOfMuffins · reddit · 2026-11-11
A Reddit post claims OpenAI's Lean proof of Yang-Mills existence has been released and verified, linking to the GitHub repo (yang-mills-group/OpenAI-YM-20261028).
If true, this would be a landmark AI-for-math result — a formally verified proof of a major conjecture. No official confirmation or further details are included; treat as unverified.
More from Research
- Bialek revisits optimization principles: optimal neural coding needn't require fine-tuned parameters — jgvfwstone · 2026-11-11
- FINCOSMOS: open-world finance agent benchmark where none of 150 sessions passes — TheFinAI · 2026-11-11
- Macrodata Labs launches MacroHands: egocentric 3D hand-tracking that beats all open-source baselines — RemiCadene · 2026-11-11
- Blaise Agüera y Arcas: random 64-byte tapes spontaneously evolve self-copying programs — Machine Learning Street Talk · 2026-11-11
- NBER model: jagged super-intelligence may not transform scientific progress and growth — JMateosGarcia · 2026-11-11
- 3D nanoprinted fan-in/fan-out device connects multicore fiber with low loss and crosstalk — jwt0625 · 2026-11-11