{"id":"tp-53471","type":"article-newspaper","title":"Yang-Mills Group Announces Public Review Plan for OpenAI Lean Proof","author":"Simon Yoon","publisher":"TOKENPOST Inc.","url":"https://www.tokenpost.com/news/technology/53471","datePublished":"2026-11-11T01:55:35.000Z","dateModified":"2026-11-11T01:55:35.000Z","language":"en","abstract":"The announcement outlined separate GitHub repositories for the formalization and the group’s validation assessment.","section":"Technology","references":[{"title":"OpenAI’s broader mathematical and physics work","url":"https://www.tokenpost.com/news/technology/41756"}]}