Advisory panel publishes verification of OpenAI math proof in Lean

A committee led by physicist David Gross published a review validating OpenAI's formal proof regarding Yang-Mills theory using the Lean logic checker. While the software confirms the mathematical consistency of the written statements, experts note that the fundamental physical mass gap question remains open.