Theorem
Program verification so even your systems engineers can vibecode
ActiveSpring 2025Artificial Intelligence
About Theorem
Program verification so even your systems engineers can vibecode
Risk Analysis
Category Risk
9%death rate
Artificial Intelligence: 109 of 1158 startups failed
LOWTeam Size
4people
Median for failed in Artificial Intelligence: 3
Median for active in Artificial Intelligence: 4
External Resources
Read full post-mortem on startups.rip ↗(opens in new tab)Website ↗(opens in new tab)YC Profile ↗(opens in new tab)Report data issue
Post-mortem content hosted on startups.rip — we provide the analytics layer.