OpenAI Yang-Mills proof claim puts physicist David Gross -- who discovered the key mathematical property that makes such a proof possible -- in charge of verifying whether the AI got it right. The ...