AI 结果经 Lean 形式化验证后仍遭连续追问「你确定吗？」

有人对 AI 给出的结果追问「你确定吗？」，对方称已在 Lean 中完成形式化验证，但追问者仍继续确认。一个 AI 圈趣事折射出数学工作者面对机器验证结果时，依然本能地反复追问「确定」这件事。