AI Still Falls Short in Biology, and Verification Tech May Be the Missing Piece

Practitioners broadly agree that AI models remain weak in biology. Holden Karnofsky argues that models are reasoning technologies that need companion verification technologies, as math has Lean and programming has compilers and tests, but biology still lacks such a counterpart.

2026-10-08 ~ 2026-10-08 · 3 related posts

• Insiders agree: AI models are just not that good at biology yet — nlarusstone · 2026-10-08
• Models are reasoning tech; biology lacks the verification loops that math and coding have — holdenmatt · 2026-10-08
• Reasoning Needs Verification: Math Has Lean, Coding Has CI — What About Biology? — nlarusstone · 2026-10-08