Twitxy Saved

Joseph Lorenzo Hall, PhD

@JoeBeOne

Astrophysicist turned advocate: guiding the globe to a safer, stronger Internet. Distinguished Technologist @internetsociety, @joebeone@techpolicy.social
josephhall.org Joined February 2009
5K Following 7.6K Followers 56K Posts

Latest posts 5

Joseph Lorenzo Hall, PhD @JoeBeOne
The Lean proof of existence for pure 4D Yang–Mills theory is out! This is the kind of math behind the strong force that holds atomic nuclei together. AI-generated, building on decades of work, and machine-checked. Very cool. github.com/yang-mills-gro…
github.com GitHub - yang-mills-group/OpenAI-YM-20261028: OpenAI construction of pure Yang-Mills obtained... OpenAI construction of pure Yang-Mills obtained 10/28/2026 - yang-mills-group/OpenAI-YM-20261028