Startups bet on AI to make formal code verification practical
&Truth, joined by Stanford researcher Chuyue Sun, raised $70 million to apply generative AI to formal software verification. Her AI tool completed an engineering project in under half a day for less than $500, versus five months for three experts. Rival Harmonic, with $295 million in funding, launched the Aristotle agent for verifying C code and Verilog designs.
- &Truth raised $70 million and launched publicly
- Harmonic, with $295 million, unveiled Aristotle for C and Verilog
- AI verification took under half a day and cost less than $500
- Anthropic and Theorem used AI to find bugs in open source code
Read next
Security