> Our models produced a natural language proof for Yang–Mills existence on September 9th, 2026, and then subsequently produced a proof for QCD on September 18th, 2026. Given the length and complexity of the work, we postponed release until the Lean formalization completed. We finished our formalization of Yang–Mills’ existence on October 16th, 2026, which led us to develop the collaboration described here
absolutely insane
Why? Did any physicist really doubt it? 4d QCD has been used for approximate calculations for about 45 years
loading story #50255111
they should point their AI swarm at quantum gravity now
(only half tongue-in-cheek)
loading story #50255213