「AI 证明人类看不懂」遭质疑：证明只是逻辑链，人类终能理解

AcerFur 质疑「AI 生成的数学证明人类无法理解」这一流行说法，认为模型并非在用外星语言写作，证明本质只是一条逻辑演绎链。只要时间足够，人类作为集体终能弄懂这些证明，转发者认同这一判断。