业内共识 AI 生物能力尚弱，关键或在于缺乏验证技术

一线从业者 nlarusstone 在征询多位懂行人士后表示，圈内共识是 AI 模型目前在生物学领域的能力还不强。对此，Holden Karnofsky 提出一个分析框架：模型本质上是「推理技术」，但要真正发挥作用还需要配套的「验证技术」——数学有 Lean 形式化证明，编程有编译器、lint、测试和 CI 等工具，而生物学尚缺乏类似的验证手段，能否造出生物学版 Lean 成为关键问题。

2026-10-08 ~ 2026-10-08 · 3 条相关