Theorem
PrivateLast Round
Seed
Jan 27, 2026
Est. Valuation
$1.79M
Total Funding Raised
$6.5M
Momentum
Top 25%
of companies Caplight tracks
Company Overview
Theorem is an AI and programming languages research lab that builds automated tools to verify the correctness of AI-generated software.
Sector
Enterprise Software
Verticals
Application Security, Vulnerability Management, Compliance & Risk
Business Model
B2B
Customer Profile
Subscription SaaS, Services & Consulting
AI Layer
Infrastructure
Keywords
Historical Pricing
Historical view of private secondary pricing and transaction trends.
Theorem Comparables
Compare Theorem with similar companies based on industry and business-model similarity.
Theorem Funding Rounds
Historical fundraising activity
| Round | Date | Amount Raised | Valuation | Investors | Sources |
|---|---|---|---|---|---|
| Seed | Jan 27, 2026 | ||||
| Accelerator | Apr 1, 2025 |
Theorem Investors
Notable investors and investment history
| Investor | Rounds |
|---|---|
| Pioneer Fund | Seed |
| Khosla Ventures | Seed |
| Halcyon | Seed |
| Y Combinator | Seed, Accelerator |
| The E14 Fund | Seed |
| SAIF Partners | Seed |
Market signals
Structured signals derived from secondary market and firmographic data.
- Jan 27, 2026
$6M round led by Khosla Ventures
- Apr 1, 2025
$500K round led by Y Combinator
Theorem Filings
SEC and related filings with document metadata.
| Typed | Date | Amount Offered | Amount Sold | Filling | Pages | Download |
|---|---|---|---|---|---|---|
Mock Valuation | Sign Up to view | Mock Valuation | Sign Up to view | Mock Valuation | Sign Up to view | Mock Valuation |
Mock Valuation | Sign Up to view | Mock Valuation | Sign Up to view | Mock Valuation | Sign Up to view | Mock Valuation |
Mock Valuation | Sign Up to view | Mock Valuation | Sign Up to view | Mock Valuation | Sign Up to view | Mock Valuation |
Mock Valuation | Sign Up to view | Mock Valuation | Sign Up to view | Mock Valuation | Sign Up to view | Mock Valuation |
Frequently Asked Questions
Common questions about Theorem's valuation, stock price, and market status.