Nature Is the Final Verifier：AI 做科学，最终验证只能交给自然

AI 将承担大部分科学研究，但物理、化学、生物没有 Lean 那样的形式化验证工具，唯一能检验的只有自然本身。OpenAI 称约 10,000 个智能体用 Lean 验证了 Navier–Stokes 方程某版本可爆破的证明，尚未经同行评审。Google 已有小型自动化实验室：智能体先在模拟副本上试实验，再交给实验室机器人执行，人类仍负责批准产物并监控机器人。