{"id":"tp-38428","type":"article-newspaper","title":"Google DeepMind Team Uses Lean to Verify 11 Busy Beaver Descriptions","author":"Simon Yoon","publisher":"TOKENPOST Inc.","url":"https://www.tokenpost.com/news/technology/38428","datePublished":"2026-10-22T22:47:26.000Z","dateModified":"2026-10-22T22:47:26.000Z","language":"en","abstract":"A Gemini 3.1 Pro system helped develop the rules, but the machines’ halting status remains unresolved.","section":"Technology","references":[]}