AI 找到 387 状态最小图灵机，停机问题独立于 ZFC

spikedoanz · x · 2026-09-22

据 @MiraMira 介绍，名为 Astra 的系统发现了目前已知状态数最小的图灵机（387 个状态），其停机与否独立于 ZFC 公理体系——即数学标准公理无法判定它是否停机。这是一个刷新纪录的结果（此前已知纪录由 Busy Beaver 相关研究保持）。

更进一步的动态是：Grok 正在用 Lean 定理证明器把这一结果形式化。帖子暗示 Grok 在这项工作中表现出色。