OpenAI assembled a review team led by Nobel laureate David Gross to examine OpenAI's computer-assisted Yang-Mills proof