Understand this story
&Truth emerged from stealth and launched publicly on October 29, 2026, while disclosing a $70 million seed round. According to Unite.AI, the company plans to build a general-purpose verifier capable of reading code in any programming language and mathematically proving that it is safe, correct, and reliable; the technology is based on the open-source proof system Lean and the Mathlib library of more than two million lines, and the company says its proof-automation technology can shorten proof generation from years or months to hours or minutes, and it also plans to open-source the foundational library. Its co-founders include Stanford University professor Clark Barrett and Ilya Sergey, founder of the VERSE Lab at the National University of Singapore, and the company is headquartered in Palo Alto and Singapore. WIRED reported the same day that generative AI is pushing formal verification toward commercialization, but the technology is still at the prototype stage, and customers' willingness to pay and adoption methods remain unclear; Will Wilson of Antithesis called formal verification a "trap" that can provide only partial guarantees.
AI-generated from public reports
Latest development · Report
&Truth Raises $70 Million Seed Round to Build a General-Purpose Code Verifier with LeanDevelopments
1 confirmed developments
- Source:Wired AI
Reports and discussion timeline
Browse reports and discussion by time. Their evidence levels remain distinct.
Oct 30
Unite.AI
&Truth Raises $70 Million Seed Round to Build a General-Purpose Code Verifier with Lean
&Truth emerged from stealth on October 29, disclosing a $70 million seed round and plans to build a general-purpose verifier capable of reading code in any programming language and mathematically proving that it is safe, correct, and reliable. The company is built on the open-source proof system Lean and the Mathlib library of more than two million lines, and says its proof automation technology can shorten proof generation from years or months to hours or minutes; it also plans to open-source its foundational library. Co-founders include Stanford University professor Clark Barrett and Ilya Sergey, founder of the VERSE Lab at the National University of Singapore, and the company is headquartered in Palo Alto and Singapore.
Oct 29
Wired AI
AI Drives a Wave of Formal Verification Startups as &Truth Raises $70 Million
WIRED reports that generative AI is pushing formal verification toward commercialization. &Truth has raised $70 million and launched publicly, while Harmonic has raised a cumulative $295 million, and its math AI agent Aristotle supports verification of C code and Verilog hardware designs. Stanford researcher Chuyue Sun used AI tools to complete an engineering project in less than half a day at a cost of under $500, whereas three experts working by hand took five months to complete the same work. The report also notes that the technology is still at the prototype stage, that customers' willingness to pay and adoption methods remain unclear, and that Antithesis's Will Wilson calls formal verification a "trap" that can only provide partial guarantees.
Heat trend for this story
- Current
- 6
- Period peak
- 16 Oct 30 16:00
- 24-hour change
- -50%
Move the pointer or select the chart to inspect hourly heat. Use the left and right arrow keys with a keyboard.