{"id":"tp-29219","type":"article-newspaper","title":"OpenAI’s 719 AI-Generated Math Manuscripts Face Ongoing Verification","author":"Simon Yoon","publisher":"TOKENPOST Inc.","url":"https://www.tokenpost.com/news/technology/29219","datePublished":"2026-10-09T19:26:28.000Z","dateModified":"2026-10-09T19:26:28.000Z","language":"en","abstract":"The collection includes 372 result families, while 300 top-line results have been formalized in Lean and the rest remain under review.","section":"Technology","references":[{"title":"TokenPost’s earlier coverage of the initial 722-manuscript release","url":"https://www.tokenpost.com/news/technology/27193"}]}