{"id":"tp-42182","type":"article-newspaper","title":"Axiom Says AI System Formalized 15,000-Page Group Theory Proof","author":"Simon Yoon","publisher":"TOKENPOST Inc.","url":"https://www.tokenpost.com/news/technology/42182","datePublished":"2026-10-28T00:59:35.000Z","dateModified":"2026-10-28T00:59:35.000Z","language":"en","abstract":"The 24-day project produced about 43.1 million lines of Lean code and found a significant gap in the Unbalanced Group Theorem proof.","section":"Technology","references":[{"title":"other formalized AI math claims","url":"https://www.tokenpost.com/news/technology/29219"}]}