AI
&Truth Launches With $70M to Use AI for Formal Code Verification
Coverage of the &Truth launch spreads via Techmeme and social media
2
Oct 30 2:30 AM
· 13d ago · 1 article · 3 posts · 3 sources · development 2 of 2
Wired's story on AI-driven formal verification startups was picked up and reposted by aggregators and individuals on Mastodon and Bluesky, amplifying the launch news.
wired.com
“Formal verification, which mathematically proves code correct, attracts startups like &Truth ($70 million) and Harmonic as AI-written code multiplies”
@druce.ai , Bluesky user · bluesky ↗ Chuyue Sun Stanford researcher, &Truth team member Ilya Sergey &Truth chief science officer Vlad Tenev Robinhood CEO, Harmonic cofounder Will Wilson CEO of Antithesis &Truth AI formal-verification startup
The whole story the bright band is this development · numbered dots are the others · click one to jump
Peak 4 pieces in 4h at Oct 30, 2 AM; 9 pieces over 15 days (2 articles · 7 posts)
Oct 29, 10 AM — 2 pieces · 1 article · 1 post — Mastodon 1, Newswires 1 Oct 29, 2 PM — quiet Oct 29, 6 PM — quiet Oct 29, 10 PM — quiet Oct 30, 2 AM — 4 pieces · 1 article · 3 posts — Bluesky 2, Mastodon 1, Newswires 1 Oct 30, 6 AM — 1 piece · 1 post — Mastodon 1 Oct 30, 10 AM — 1 piece · 1 post — Hacker News 1 Oct 30, 2 PM — quiet Oct 30, 6 PM — quiet Oct 30, 10 PM — quiet Oct 31, 2 AM — quiet Oct 31, 6 AM — quiet Oct 31, 10 AM — quiet Oct 31, 2 PM — quiet Oct 31, 6 PM — quiet Oct 31, 10 PM — quiet Nov 1, 1 AM — quiet Nov 1, 5 AM — quiet Nov 1, 9 AM — quiet Nov 1, 1 PM — quiet Nov 1, 5 PM — quiet Nov 1, 9 PM — quiet Nov 2, 1 AM — quiet Nov 2, 5 AM — quiet Nov 2, 9 AM — 1 piece · 1 post — Mastodon 1 Nov 2, 1 PM — quiet Nov 2, 5 PM — quiet Nov 2, 9 PM — quiet Nov 3, 1 AM — quiet Nov 3, 5 AM — quiet Nov 3, 9 AM — quiet Nov 3, 1 PM — quiet Nov 3, 5 PM — quiet Nov 3, 9 PM — quiet Nov 4, 1 AM — quiet Nov 4, 5 AM — quiet Nov 4, 9 AM — quiet Nov 4, 1 PM — quiet Nov 4, 5 PM — quiet Nov 4, 9 PM — quiet Nov 5, 1 AM — quiet Nov 5, 5 AM — quiet Nov 5, 9 AM — quiet Nov 5, 1 PM — quiet Nov 5, 5 PM — quiet Nov 5, 9 PM — quiet Nov 6, 1 AM — quiet Nov 6, 5 AM — quiet Nov 6, 9 AM — quiet Nov 6, 1 PM — quiet Nov 6, 5 PM — quiet Nov 6, 9 PM — quiet Nov 7, 1 AM — quiet Nov 7, 5 AM — quiet Nov 7, 9 AM — quiet Nov 7, 1 PM — quiet Nov 7, 5 PM — quiet Nov 7, 9 PM — quiet Nov 8, 1 AM — quiet Nov 8, 5 AM — quiet Nov 8, 9 AM — quiet Nov 8, 1 PM — quiet Nov 8, 5 PM — quiet Nov 8, 9 PM — quiet Nov 9, 1 AM — quiet Nov 9, 5 AM — quiet Nov 9, 9 AM — quiet Nov 9, 1 PM — quiet Nov 9, 5 PM — quiet Nov 9, 9 PM — quiet Nov 10, 1 AM — quiet Nov 10, 5 AM — quiet Nov 10, 9 AM — quiet Nov 10, 1 PM — quiet Nov 10, 5 PM — quiet Nov 10, 9 PM — quiet Yesterday, 1 AM — quiet Yesterday, 5 AM — quiet Yesterday, 9 AM — quiet Yesterday, 1 PM — quiet Yesterday, 5 PM — quiet Yesterday, 9 PM — quiet Today, 1 AM — quiet Today, 5 AM — quiet Today, 9 AM — quiet Today, 1 PM — quiet Today, 5 PM — quiet 1 2
Oct 30 Nov 1 Nov 3 Nov 5 Nov 7 Nov 9 now · 9:21 PM ET
Reported in the same hours
no headline names this development itself — these 1 claim were published in its stretch
first by Wired , 13d ago
What people said 3 voices · verbatim
@
“The big promise is a future where software runs more reliably with fewer security headaches. But whether AI can bring formal verification beyond the most critical systems at organizations like NASA and Apple and into widespread use remains an open question.” [embedded post]
S
This is definitely reading like @ CraigStuntz launched a stealth startup on vibe coding. https://www. wired.com/story/software-verif ication-is-the-hot-new-answer-to-the-ai-safety-crisis
@
Formal verification, which mathematically proves code correct, attracts startups like &Truth ($70 million) and Harmonic as AI-written code multiplies
All 2 developments of &Truth Launches With $70M to Use AI for Formal Code… →
Vlad Tenev Robinhood CEO, Harmonic cofounderWill Wilson CEO of Antithesis&Truth AI formal-verification startup
S