AI 做科学，最终验证只能交给自然

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

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。