Reasoning Needs Verification: Math Has Lean, Coding Has CI — What About Biology?
nlarusstone · x · 2026-10-08
Holden Karnofsky frames models as "reasoning technology" that needs complementary "verification technology": math has Lean, coding has compilers/tests/CI, but biology's verification loops are intrinsically slow and expensive. nlarusstone notes heavy investment is flowing into verification despite fundamental speed limits.
More from AGI Musings
- Cryptographer Matthew Green: LLM math boom could erode confidence in RSA and discrete log security — burny_tech · 2026-10-08
- Economist calls EA the century's biggest idea; commentator calls it shark jumping — intellectronica · 2026-10-08
- Writing hurt memory, GPS hurt navigation — why might AI break that pattern? — fkasummer · 2026-10-08
- Product Hunt CEO's 4 predictions for 2027: collaborative agents and handmade software — FinanceYF5 · 2026-10-08
- "Bot feels like ASI": one person can now build in a weekend what took teams months — tetsuoai · 2026-10-08
- jan Kulveit: reality tracks Paul Christiano's continuous takeoff so far, but with more spikiness and RSI risk — teortaxesTex · 2026-10-08