Skip to main content
Caplight Logo









Theorem

Theorem

Private
San Francisco, CaliforniaAI, Data & Cloud Infrastructurehttps://theorem.dev/

Last 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

AI, Data & Cloud Infrastructure

Verticals

Application Security, Vulnerability Management, Compliance & Risk

Business Model

B2B

Customer Profile

Subscription SaaS, Services & Consulting

AI Layer

Infrastructure

Keywords

formal verificationautomated program verificationproof generationAI code securitysoftware correctnessformal methodscode migrationfunctional equivalenceAI guardrailsautomated refactoringvibe codingAI agent securitydeveloper toolscryptographic verificationAI infrastructure

Historical Pricing

Historical view of private secondary pricing and transaction trends.

Unlock Pricing Charts

Sign up to view complete historical pricing and secondary transactions.

Caplight Momentum Score

Proprietary index based on bid/ask volume and sentiment.

View Momentum History

Track how buyer interest and sentiment changes over time.

Theorem Comparables

Compare Theorem with similar companies based on industry and business-model similarity.

Theorem comparables — related companies by embedding similarity
CompanySimilarityMarket Cap
Lanyon AI
74%
Midas
70%
Amazon
66%

Theorem Funding Rounds

Historical fundraising activity

Data table
RoundDateAmount RaisedValuationInvestorsSources
SeedJan 27, 2026
AcceleratorApr 1, 2025

Theorem Investors

Notable investors and investment history

Theorem investors
InvestorRounds
Pioneer FundSeed
Khosla VenturesSeed
HalcyonSeed
Y CombinatorSeed, Accelerator
The E14 FundSeed
SAIF PartnersSeed

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

Explore SEC and related filing metadata, where available.

Theorem filings preview — column headings only; records require access
TypeDateAmount OfferedAmount SoldFilingPagesDownload

Filing documents are not displayed on this public page. Request access to learn about available coverage.

Request access

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 with no public stock price. Caplight tracks Theorem's secondary market activity and provides MarketPrice estimates 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. Visit https://www.caplight.com to learn more.

When was Theorem's last funding round?

Theorem's most recent funding round was Seed on April 1, 2025.

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 for private companies. Visit https://www.caplight.com to monitor Theorem's secondary market activity and sign up for updates.

Firmographic Details

HeadquartersSan Francisco, California
Year Founded2025
Last FundingJan 27, 2026

Institutional Data Access

Join leading institutional investors using Caplight to access private market data, discover pricing, and execute secondary block trades.

Requires verified institutional or accredited status.

See something wrong or outdated?