无人能懂的 AI 证明：生成与验证全由 AI 完成，人类无法审查

cloneofsimo · x · 2026-11-09

cloneofsimo 指出一个前所未有的处境：围绕一个数学证明（引用 Elliot Glazer 的辩护，指仓库中积累的证据远超「信我就对了」），一方在要求验证证明的正确性，另一方在要求指出证明的缺陷——但没有人能真正读懂它，因为它完全由 AI 生成、也由 AI 验证，离开 AI 就无法完成上述任何一件事。

他把这比作「没看过电影却在讨论这部电影」，并欢迎专家纠正（若证明已被人类理解）。Glazer 则回应批评者：仓库积累的证据远超口头断言，拒绝泛泛质疑。