Andrew Critch finds a missing `⊢` in the Parametric Bounded Löb Theorem
AndrewCritchPhD · x · 2026-07-29
Andrew Critch says a reader found a mistake in his statement of the Parametric Bounded Löb Theorem: the proof uses \(\vdash f(k) \succ \mathcal{E}\mathcal{O} \lg k\), but the theorem statement is missing the \vdash.
He adds that AI is bringing more people into open-source game theory, and he plans to post an arXiv update in the next week or so.
More from AGI Musings
- AI Synthetic Empathy Threatens Human Relationships — PierceLilholt · 2026-07-29
- Viewpoint: Real-time Multimodal AI Will Enable Superhuman Communication — ctjlewis · 2026-07-29
- Doubling Time at Technological Maturity: Hours or Days, Not Years — EigenGender · 2026-07-29
- A new blog post argues KV cache is not a persistent mind in an LLM chat — birchlse · 2026-07-29
- AI Giants' Double Standard: Pretraining on Human IP is Fine, But Distilling Their Models is Not — zetalyrae · 2026-07-29
- A small AGI thought experiment: humans as general intelligence in an animal body — AaronBergman18 · 2026-07-29