&Truth Raises $70M Seed to Build Universal Verification Machine for Code

&Truth, a public benefit corporation founded in early 2026, announced a $70M seed round to develop a universal verification machine that mathematically proves software safety across programming languages using AI-accelerated formal methods.