AI startups push formal verification into practice as &Truth launches after $70M raise
Stanford researcher Chuyue Sun and colleagues demonstrated AI-assisted formal verification that completed a complex engineering task in under half a day for <$500. Sun joined the newly publicized startup &Truth, which has raised $70 million and aims to scale AI-enabled formal verification; rival startups Harmonic (with its Aristotle agent) and collaborations such as Anthropic + Theorem are also using AI to accelerate verification workflows.