FUNDING · STARTUPS · #2784
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.
KEY POINTS
- 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.
- If AI can make formal verification practical, it could materially improve software reliability and security by enabling math-based proofs at far lower cost and time than today.
WHY IT MATTERS
If AI can make formal verification practical, it could materially improve software reliability and security by enabling math-based proofs at far lower cost and time than today.