Michael Darius Eastwood · Independent AI alignment researcher
Published
The Undecidability of AGI Alignment: Unverifiability Theorem + Soundness-Completeness-Tractability Trilemma (Trakhtenbrot's Wall).
Gumbau Mezquita's undecidability paper proves two formal results: alignment verification is structurally unverifiable, and soundness, completeness and tractability cannot be jointly achieved. His stated conceptual foundation is the Hernández-Espinosa paper. The chain therefore runs from a paper about cognitive diversity to a theorem that vindicates a manuscript written eighteen months earlier by an author neither of them had heard of. That is the register's final row, and the strongest.
Source: arXiv:2606.28639, with SHA-256 of the PDF published in the evidence vault.
Open the primary source above. Confirm the date. Confirm the finding. Then compare it against the manuscript passage or artifact named in the register entry, whose SHA-256 hash is published on the evidence page. Nothing in this article asks for trust; the entry either survives that comparison or it comes off the register, publicly, the way the programme's retracted scaling figure did.
From the book Infinite Architects: Intelligence, Recursion, and the Creation of Everything by Michael Darius Eastwood.