10:10
2026-10-15
github.com
artificial-intelligence
Certified State Reductions and Semantics of Conjecture-Checking Turing Machines
Google DeepMind researchers Maxence Faldor and Moritz Firsching published a repository of formally verified 2-symbol Turing machines with Lean 4 semantics proofs for Goldbach's Conjecture, ZF Set Theo…