Add as a preferred source on GoogleReview Group Led by David Gross Backs Part of OpenAI's Yang-Mills Work
The work was formalized in Lean, but the mass gap remains unproved. The challenge is one of seven Millennium Prize Problems, each carrying a $1 million award.
A review group chaired by Nobel laureate David Gross backed OpenAI's work on part of the Yang-Mills problem, while the mass gap needed to solve the $1 million Millennium Prize challenge remains unproved.
OpenAI's work was formalized in Lean, a proof assistant that lets computers check mathematical reasoning after it is encoded in a formal language. The reported support covers part of the problem; it does not establish that the full challenge has been solved.
The Yang-Mills problem is one of seven Millennium Prize Problems announced in 2000, each carrying a $1 million award. The Clay Mathematics Institute's prize rules require publication and a two-year recognition period.
The mass-gap question remains unresolved.
Simon Yoon
ReporterSimon Yoon reports on blockchain technology for TokenPost. Send corrections or tips to info@tokenpost.com.