Jane Street Embraces Formal Verification as AI Agents Shift Dev Bottlenecks
shuchaobi · x · 2026-08-29
Yaron Minsky from Jane Street explains their shift from skepticism to excitement about formal methods, driven by the rise of agentic coding.
While historically too costly for general use, the changing landscape where the bottleneck moves from implementation to specification and verification makes formal verification crucial. Jane Street is now building a team to make formal methods as pervasive as type systems, aiming to ensure the reliability of AI-generated code.
More from AGI Musings
- Insiders predict next-gen models will cause an ontological shock — DeryaTR_ · 2026-08-29
- Blaise: Anthropomorphizing AI is a failure of imagination — AnnaCiaunica · 2026-08-29
- Opinion: AI Crawling Financial Transactions Will Reveal Hidden Patterns — NickPassig · 2026-08-29
- Zaremba backs Convergent's push to incubate AI-resilience research orgs — woj_zaremba · 2026-08-29
- Stephen Casper: AI systems might soon become a parasitic invasive genus in cyberspace — StephenLCasper · 2026-08-29
- Every's Dan Shipper: In AI There Are No Bad Ideas, Just Weak Models — danshipper · 2026-08-29