AI 称结果已在 Lean 中形式化验证，仍被追问「你确定吗？」

AI 圈流传一段对话：面对「你确定吗？」的追问，AI 回复结果已在 Lean 中完成形式化验证，提问者却继续问「好吧，但你确定吗？」。这则趣事被解读为 AI 时代数学工作者的心态写照——即便有机器形式化验证，人类对「确定」依然本能地不安。