Theorem
Theorem is a YC Spring 2025 (P25) company. Based in San Francisco, CA, USA. Team of 4.
About Theorem
Summary
Theorem builds AI-accelerated program verification tools for engineers working on high-stakes code. Its models cut the cost of producing formal proofs, letting developers verify correctness and security across GPU-accelerated code, cryptography implementations, and legacy systems without requiring specialized verification expertise. The work it replaces is manual auditing and ad-hoc testing, which leave entire classes of bugs and exploits undetected.
Go-to-market
Engineering teams with complicated, security-critical codebases are the target buyers; the company is acquiring early users through a self-serve beta signup.
From the Y Combinator listing
Program verification so even your systems engineers can vibecode
Theorem is training models that make program verification 10,000 times faster. Using verification as a feedback loop, developers have found zero-days in GPU accelerated code and cryptography implementations, and sped up code migration in legacy systems. If you have complicated code that needs to be correct and secure, sign up for our beta!
Facts
- B2B / B2B -> Security
- San Francisco, CA, USA
- 4
- Active
- Early
Founders (2)
Score every batch against your own thesis
GPAgent's sourcing agent reads every company in a batch, scores each one against your fund's thesis in a private workspace, and lines up the founders worth meeting before Demo Day. You decide who to contact. Your scores, notes, and pipeline never appear on these pages.
How Accelerator intelligence works