Models are reasoning tech; biology lacks the verification loops that math and coding have
holdenmatt · x · 2026-10-08
Responding to the view that models aren't good at biology yet, Holden Karnofsky offers a framing: models are "reasoning technology," but they need complementary "verification technology" to work well. Math has Lean; coding has compilers, linters, tests and CI. Biology lacks cheap, fast verification loops. He asks whether biology can develop better verification loops, or whether they are long and expensive for intrinsic reasons.
More from AGI Musings
- tszzl on alignment: the key is avoiding an accidental superintelligent competitor species — tszzl · 2026-10-08
- Scott Aaronson: AI labs are using internal models to attack core cryptographic protocols — skdh · 2026-10-08
- Mathematician Launches Long-Term "Human Mathematicians in the Age of AI" Project — burny_tech · 2026-10-08
- Musk: Schools teach tools instead of problems, like courses on screwdrivers — elonmusk · 2026-10-08
- Musk's 2007 take: only sports and live events can't be disintermediated by AI — elonmusk · 2026-10-08
- Dean Ball: AIs will contribute novel math theorems before planning weddings — deanwball · 2026-10-08