yang-mills
Everything on Ground Truth tagged “yang-mills” — 1 item.
Gross committee affirms OpenAI's Yang-Mills existence proof in Lean, but says it does not fully understand it News
A committee chaired by Nobel laureate David Gross released the Lean-checked proof of 4D Yang-Mills existence on November 10 and says it does not yet fully understand the proof; no independent outside review exists.