# The Yang-Mills Working Group will publish both the Full Lean code submitted to them by OpenAl, and their Validation that it proves the ex...

- Source: Andrew Curran
- Published: 2026-11-10T00:11:47.000Z
- Bad Influence: https://badinfluence.news/items/nq4dsp2ygmmf0e7ks11nu1u1t
- Original: https://x.com/AndrewCurran_/status/2119946083224957134

## Summary

The Yang-Mills Working Group will publish both the Full Lean code submitted to them by OpenAl, and their Validation that it proves the existence of pure Yang-Mills theory, tomorrow.

## Post

The Yang-Mills Working Group will publish both the Full Lean code submitted to them by OpenAl, and their Validation that it proves the existence of pure Yang-Mills theory, tomorrow.

![](https://badinfluence.news/api/img-proxy?u=https%3A%2F%2Fpbs.twimg.com%2Fmedia%2FHWuPumfbUAAajKV.jpg&mode=thumb&exp=1794528000&sig=acdfee5c88ea0f12)

## Quoted post @AndrewCurran_

> The Council has recieved its answer from the Yang-Mills Working Group.

https://x.com/AndrewCurran_/status/2115240080382267667