Theoretical physicist, Harvard University
Appears in 1 story
Last updated Nov 15, 2026
Committee member
On September 9, OpenAI's models produced a written proof that quantum Yang-Mills theory, the mathematics of the strong nuclear force, can be built from first principles. The company announced the claim on October 26. It handed a machine-checked version, written in the Lean proof language, to a five-member panel. On November 10 the panel said the formal proof passes.
Updated 50 minutes ago
No stories match your search
Try a different keyword
How would you like to describe your experience with the app today?
