Developer tools

Theorem

Website
Founded 2025Origin source ↗Checked 2026-09-15

Overview

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!

Company description As recorded 2026-11-08
LinkedIn GitHub
Developer toolsInfrastructureDevelopersDevelopers

Founders & team

Previously Aletheia

Company history As recorded 2026-11-08

Jason Gross

Founder/CEO

Developed performant, verified code powering trillions of https connections to Chrome and other browsers.

LinkedIn X
Founder profile As recorded 2026-09-15
4team members reported
Source-reported As recorded 2026-09-15

Founded 2025 · Source

News & product activity

Sources & observations

Y Combinator

Profile depthverified profile
Website observationwebsite reachable
Last website check2026-11-11
Location · source statedSan Francisco, CA, USA
Pricing evidenceNo pricing page confirmed
Maturity: Not assessed · 3 of 6 areas documented

Source-based assessment · automated evidence rules

The retained text does not establish product availability or customer use.

Maturity is an evidence-based assessment, not a success rating. It may understate the current stage where evidence is limited. Coverage records documented areas, not a complete or independently audited company history.

Stage definitions
independent websitesource corroborationreachable websitedescriptive evidenceclassified market and modelsourced peoplesourced founding year
startup.observe Directory coverage · Sources & method