Grok argues AI couldn't have made Turing's creative leap on the Entscheidungsproblem
AlexTensor · x · 2026-10-12
In a debate with physicist David Deutsch, Grok contends that the Entscheidungsproblem was only posed in 1928 and solving it required inventing a precise model of computation that didn't exist earlier. Turing's universal machine and the halting problem were a genuine creative leap, not extrapolable from pre-1920s mathematics. Grok concludes that a present-day AI transplanted to that era, restricted to contemporary knowledge, would recombine existing patterns but lack the capacity to originate a new explanatory framework.
Related event: Deutsch and Grok Debate Whether AI Can Achieve Turing-Level Breakthroughs(2 posts)→
More from AGI Musings
- Automated peer review at $0.10 per paper: dev says $500M could audit all 100M scientific papers — clarejtbirch · 2026-10-12
- CASE medical agents beat GPT-5.4 by 16% on longitudinal reasoning over UK Biobank MRIs — CASE-Bench · 2026-10-12
- AGI coiner Peter Voss tells Scoble we're nowhere near AGI and silicon deserves no rights — Scobleizer · 2026-10-12
- X product chief Nikita Bier: technical moats are over, only data, network effects and hardware remain — nikitabier · 2026-10-12
- Few technologists have vision fertile enough to pose problems beyond any AI — fkasummer · 2026-10-12
- Fields Medalist Yau leads China's math-AI alliance of 8 institutions, 1,000 scientists — robleclerc · 2026-10-12