&Truth, a public benefit corporation developing technology to mathematically prove that software is safe, emerged from stealth on October 29, 2026, disclosing $70 million in seed funding and a plan to build what it calls a universal verification machine for code. In its launch announcement, the company said it was founded in early 2026 and was funded with $70 million of seed capital from a group it described as formative AI safety and venture capital leaders. The company said its verification…