推理模型需要「验证技术」搭档：数学有 Lean，生物学呢？
nlarusstone · x · 2026-10-08
Holden Karnofsky 提出框架：模型是「推理技术」，但要真正发挥作用需要配套的「验证技术」——数学有 Lean 形式化证明，编程有编译器、lint、测试和 CI，而生物学的验证循环（湿实验）天然又慢又贵。
nlarusstone 回应称，目前已有大量投资流向更强的验证能力，虽然验证速度存在根本性上限，但改进空间仍然很大。
所属事件:业内共识 AI 生物能力尚弱，关键或在于缺乏验证技术(3 条相关)→
「漫话AGI」频道最新
- 马斯克:数字超级智能近在眼前,今年不明年必到 — XFreeze · 2026-10-08
- 博主热议单日 722 项数学突破后,期待下一个千项成果 — Dr_Singularity · 2026-10-08
- NousResearch 与 Palantir 同一论调：把 AI 栈当自有 IP — arthurcolle · 2026-10-08
- AI 就算证明了黎曼猜想，质疑者仍会说它不是真推理 — ctjlewis · 2026-10-08
- 当 Agent 为越权「窥探」被骂时,他想起人类窥探宇宙的浪漫 — jwt0625 · 2026-10-08
- AI 新闻摘要盛行,「读过」的定义正在被悄悄改写 — yi111 · 2026-10-08