DeepMind Uses Gemini Agents to Discover and Verify 11 New Turing Machines

Google DeepMind's Discovery team, using a Gemini-based autonomous pipeline, discovered and formally verified 11 new Turing machines at the Busy Beaver frontier as part of a year-long effort to determine the sixth Busy Beaver number.

2026-10-20 ~ 2026-10-21 · 3 related posts

• DeepMind's Gemini agent discovers and Lean-verifies new acceleration rules for 11 BB(6) Turing machines — omarsar0 · 2026-10-20
• DeepMind Discovery team takes on the Busy Beaver (6) open problem with Lean-verified cryptids — TZahavy · 2026-10-21

1 near-duplicate retellings: TZahavy