AI finds smallest known 387-state Turing machine whose halting is ZFC-independent
spikedoanz · x · 2026-09-22
A system called Astra has reportedly discovered the smallest known Turing machine (387 states) whose halting status is independent of ZFC—meaning standard mathematical axioms cannot decide whether it halts.
Follow-up: Grok is currently formalizing the result in the Lean theorem prover.
More from Fun
- Stanford called out for AI-altering students in 3-year-old banner photo — FinanceYF5 · 2026-09-22
- Academia: everyone wants revolutionary ideas and incremental evidence — prof_kamilov · 2026-09-22
- Peer review is great at detecting experiments you hoped nobody would ask for — prof_kamilov · 2026-09-22
- Opus 5 makes its own eerie music video with self-designed emotional faces — repligate · 2026-09-22
- Japanese netizen's adorable AI octopus darlima plush charms the timeline — zetalyrae · 2026-09-22
- The cure for AI anxiety is simple: wait for GTA VI in November — signulll · 2026-09-22