&Truth raises $70M in seed funding to build universal verification machine for code. The public benefit corporation aims to mathematically prove software safety using AI-accelerated formal verification.
Amount Raised
$70 Million
Round Type
Seed
Description
&Truth, a public benefit corporation, emerged from stealth on October 29, 2026, announcing $70 million in seed funding from AI safety and venture capital leaders. The company is developing a universal verification machine that uses AI-accelerated formal proof technology to mathematically prove code is safe, secure, and correct across any programming language. &Truth's technology reduces proof generation from years or months to hours or minutes by combining AI acceleration with proprietary proof automation. The company is building on open-source technologies including Lean and Mathlib to create a universal formal vocabulary for software verification.
Who to call at &Truth, and when
A new round usually means &Truth is about to hire and buy. The teams that reach out first get the meeting.
- An alert the day &Truth raises, hires an executive or expands, scored against what you sell
- The decision-makers there, with verified emails
- Who you already know at &Truth, from your own LinkedIn network
Works inside ChatGPT and Claude. Ask who to call at &Truth. With Fundz connected, it knows.
AI made execution free. Knowing first is the whole game now.
Fundz sees it the moment &Truth raises, hires an exec or expands, usually minutes after it happens, and tells you who to reach.
&Truth raised. Fundz records a round at a median of 3.6 minutes from the SEC filing, with the decision-maker attached.
145 of these a day, filtered to the companies you pick, with the decision-maker attached.
5 screens from a live account. No signup.