conv.

← The whole story
AI
&Truth Launches With $70M to Use AI for Formal Code Verification

Antithesis CEO calls formal verification impractical at scale

1 Oct 29 11:00 AM · 14d ago · 1 article · 1 post · 2 sources · development 1 of 2

Will Wilson, who runs bug-hunting AI startup Antithesis, said formal verification is 'a trap' for math enthusiasts and described his own company's effort to formally verify its cybersecurity defenses as a 'pain in the ass,' noting it still missed bugs his tool later found.

Antithesis CEO calls formal verification impractical at scale
wired.com

“a trap”

Will Wilson

Chuyue Sun Stanford researcher, &Truth team memberIlya Sergey &Truth chief science officerVlad TenevVlad Tenev Robinhood CEO, Harmonic cofounderWill Wilson CEO of Antithesis&Truth AI formal-verification startup

The whole story articlesposts the bright band is this development · numbered dots are the others · click one to jump

Peak 4 pieces in 4h at Oct 29, 10 PM; 9 pieces over 15 days (2 articles · 7 posts) Oct 29, 10 AM — 2 pieces · 1 article · 1 post — Mastodon 1, Newswires 1Oct 29, 2 PM — quietOct 29, 6 PM — quietOct 29, 10 PM — 4 pieces · 1 article · 3 posts — Bluesky 2, Mastodon 1, Newswires 1Oct 30, 2 AM — quietOct 30, 6 AM — 1 piece · 1 post — Mastodon 1Oct 30, 10 AM — 1 piece · 1 post — Hacker News 1Oct 30, 2 PM — quietOct 30, 6 PM — quietOct 30, 10 PM — quietOct 31, 2 AM — quietOct 31, 6 AM — quietOct 31, 10 AM — quietOct 31, 2 PM — quietOct 31, 6 PM — quietOct 31, 10 PM — quietNov 1, 1 AM — quietNov 1, 5 AM — quietNov 1, 9 AM — quietNov 1, 1 PM — quietNov 1, 5 PM — quietNov 1, 9 PM — quietNov 2, 1 AM — quietNov 2, 5 AM — quietNov 2, 9 AM — 1 piece · 1 post — Mastodon 1Nov 2, 1 PM — quietNov 2, 5 PM — quietNov 2, 9 PM — quietNov 3, 1 AM — quietNov 3, 5 AM — quietNov 3, 9 AM — quietNov 3, 1 PM — quietNov 3, 5 PM — quietNov 3, 9 PM — quietNov 4, 1 AM — quietNov 4, 5 AM — quietNov 4, 9 AM — quietNov 4, 1 PM — quietNov 4, 5 PM — quietNov 4, 9 PM — quietNov 5, 1 AM — quietNov 5, 5 AM — quietNov 5, 9 AM — quietNov 5, 1 PM — quietNov 5, 5 PM — quietNov 5, 9 PM — quietNov 6, 1 AM — quietNov 6, 5 AM — quietNov 6, 9 AM — quietNov 6, 1 PM — quietNov 6, 5 PM — quietNov 6, 9 PM — quietNov 7, 1 AM — quietNov 7, 5 AM — quietNov 7, 9 AM — quietNov 7, 1 PM — quietNov 7, 5 PM — quietNov 7, 9 PM — quietNov 8, 1 AM — quietNov 8, 5 AM — quietNov 8, 9 AM — quietNov 8, 1 PM — quietNov 8, 5 PM — quietNov 8, 9 PM — quietNov 9, 1 AM — quietNov 9, 5 AM — quietNov 9, 9 AM — quietNov 9, 1 PM — quietNov 9, 5 PM — quietNov 9, 9 PM — quietNov 10, 1 AM — quietNov 10, 5 AM — quietNov 10, 9 AM — quietNov 10, 1 PM — quietNov 10, 5 PM — quietNov 10, 9 PM — quietYesterday, 1 AM — quietYesterday, 5 AM — quietYesterday, 9 AM — quietYesterday, 1 PM — quietYesterday, 5 PM — quietYesterday, 9 PM — quietToday, 1 AM — quietToday, 5 AM — quietToday, 9 AM — quietToday, 1 PM — quietToday, 5 PM — quiet 12
1Antithesis CEO calls formal verification…2Coverage of the &Truth launch spreads via…
Oct 30Nov 1Nov 3Nov 5Nov 7Nov 9now · 9:54 PM ET

What was reported 1 claim about this development

  1. 1 outlet The ‘Pain in the Ass’ Math That Could Save Vibe Coding From Itself

    first by Wired, 14d ago

All 2 developments of &Truth Launches With $70M to Use AI for Formal Code… →

MastodonNewswiresBlueskyHacker News