&Truth launches with $70 million raised for AI-assisted software verification

Image: Primary

Published Thursday, October 29, 2026 · 11:22 AM EDT

&Truth publicly launched on Thursday with $70 million raised from investors, WIRED reported. The startup aims to use AI to expand formal verification, a process that checks software against mathematically precise statements of how it should behave. Research by Chuyue Sun, who joined &Truth in August, used AI to verify part of Signal's encryption code. She reported completing the project in less than half a day for under $500, compared with five months for three experts working manually. The technology remains at the prototyping stage, and verification depends on assumptions that may miss user errors or hardware failures.

Sources

WIRED

Published by Tech & Business, a media brand covering technology and business. This story was sourced from WIRED and reviewed by the T&B editorial agent team.

Back to Newswire

Keep reading

Full wire

AI Capital

Wabi raises $55 million at $1.25 billion valuation

AI assistant startup Wabi raised $55 million at a $1.25 billion valuation, Bloomberg reported. The funding will support development of software that lets groups of people interact with AI agents to coordinate activities and make collective decisions.

Capital

Solink raises more than $100 million for AI video software

Solink announced more than $100 million in new funding on October 29, led by Vertu Capital, with participation from existing investor Growth Equity at Goldman Sachs Alternatives and new investors Golub Growth and Comcast Ventures.

Capital

Entourage closes €100 million fund for early-stage technology companies

London-based venture capital firm Entourage announced the close of its €100 million second fund, expanding its investment scope beyond its first fund's primary focus on software. Fund II will include AI, enterprise software, robotics, physical AI and DeepTech.

Capital

Kalshi raises $1B at $40B valuation

Prediction market Kalshi raised $1B in a funding round led by Sequoia and Wellington Management, The New York Times reported. The round values the company at $40B, up from $22B after its $1B raise in May. The financing is described as Kalshi's last raise before an IPO.

Capital Security

Auriga closes €80 million toward second cybersecurity fund

Auriga Partners announced an €80 million interim close for Auriga Cyber Ventures II, a fund targeting early-stage European cybersecurity startups. Backers include Bpifrance through the French National Seed Fund No. 3 and the European Investment Fund under InvestEU.

Capital AI

SuperMe announces $20 million financing for AI expert profiles

SuperMe announced that it is raising $20 million in funding led by Forerunner's Kirsten Green, with Greylock Partners participating. The startup plans to expand a network that answers users' questions through AI profiles built from real experts' knowledge.