Fundraising Fox
Theorem
8 known investors
Find your way into Theorem
Sign up to see every warm intro you have to Theorem
- Paths you didn't know you had: your email and LinkedIn already hold routes to the Theorem team. We find them for you
- 2nd- and 3rd-degree connections: the friend-of-a-friend routes that take hours to manually find through your inbox or LinkedIn
- Answers now, not in days: momentum is everything in a raise. Skip asking around whether someone knows someone
Days of research, done the moment you sign in, with every route ranked by how warm it is.
Theorem Labs develops formal verification technology for software, producing mathematical proofs that cover a program's full behavior space, beginning with verified sandboxes designed to contain AI agents. The company targets security use cases where verification remains reliable as adversaries become more capable.
Founders & leadership
Investors · 8
HalcyonreportedWashington
How we know: svpost.com · Not right? Tell us
SAIFreportedBeijing · $10M – $100M
How we know: svpost.com · Not right? Tell us
Also in the syndicate · 1
e14
Funding
SEC filings, press & company announcements- Undisclosed amountseed fundingJan 2025
Khosla Ventures (lead), e14, Halcyon, Pioneer Fund, SAIF, Y Combinator
Source ↗
Source: company announcements and press reports — follow each round's link for the claim.
In the news
Frequently asked questions
- What does Theorem do?
- Theorem Labs develops formal verification technology for software, producing mathematical proofs that cover a program's full behavior space, beginning with verified sandboxes designed to contain AI agents. The company targets security use cases where verification remains reliable as adversaries become more capable.
- Who founded Theorem?
- Theorem was founded by Jason Gross.
- Who are Theorem's investors?
- Theorem's investors include Eight Capital, Pioneer, The E14 Fund, Halcyon, Khosla Ventures, SAIF, Y Combinator.