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 operates in AI, Data & Cloud Infrastructure and is based in San Francisco, California. Its latest recorded funding round was a Seed round in January 2026.
Theorem is an AI and programming languages research lab that builds automated tools to verify the correctness of AI-generated software.
Sector
AI, Data & Cloud Infrastructure
Verticals
Application Security, Vulnerability Management
Business Model
B2B
Customer Profile
Subscription SaaS, Services & Consulting
AI Layer
Infrastructure
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.
| Company | Similarity | Market Cap |
|---|---|---|
| &Truth | 86% | |
| Lanyon AI | 74% | |
| Midas | 70% |
For institutional investors. Book with your work email.
Theorem Funding Rounds
Historical fundraising activity
| Round | Date | Amount Raised | Valuation | Investors | Sources |
|---|---|---|---|---|---|
| Seed | Jan 27, 2026 | ||||
| Accelerator | Apr 1, 2025 |
For institutional investors. Book with your work email.
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
For institutional investors. Book with your work email.
Recent news
Latest coverage and updates
- launchesOct 24, 2026
Theorem releases a Claude skill for open-source maintainers who want to enrol their projects.
- adopts_technologyOct 23, 2026
Theorem uses Claude to prove that 239 fuzz entry points across 123 open-source libraries remain crash-free for every input under 64 MB on Oct 22nd '26.
For institutional investors. Book with your work email.
Theorem Filings
Explore SEC and related filing metadata, where available.
| Type | Date | Amount Offered | Amount Sold | Filing | Pages | Download |
|---|
Filing documents are not displayed on this public page. Request access to learn about available coverage.
Book a demoFor institutional investors. Book with your work email.
Frequently Asked Questions
Common questions about Theorem's valuation, stock price, and market status.
Is Theorem a public or private company?
Theorem is a private company.
What is the current stock price of Theorem?
Theorem is a private company, so its shares have no public market price. Caplight tracks Theorem's secondary market activity and provides MarketPrice™ estimates of its share price to Caplight users.
How much is Theorem worth (valuation)?
Theorem's valuation is estimated at $1.8M based on funding round data.
Can I buy Theorem stock?
Theorem shares may be available on secondary markets subject to transfer restrictions. Caplight facilitates secondary market transactions for accredited investors.
When was Theorem's last funding round?
Theorem's most recent funding round was Seed on January 27, 2026.
Who are the main investors in Theorem?
Key investors in Theorem include Khosla Ventures.
Will Theorem IPO soon?
No public IPO plans have been announced for Theorem.
How can I track Theorem secondary market activity?
Caplight tracks bids, offers, and trades in Theorem's shares on secondary markets.