Company file Nº 858 / 1000 · Seed · United States · updated 14 Sep 2026
Theorem
GTM score
18.6
In its stage
162nd of 182 Seed
Ranked against 1000 companies indexed as at 14 Sep 2026. The index grows every month, so a rank can move without a company changing.
What they do
AI models and formal-verification tools to automatically prove the correctness of software code
The pillar map
exit criteria metexit criteria partly metexit criteria not metno public signal found
The real colors on all 16 pillars, with each pillar's score, free with an email address.
Our read
We read every map the same way: where the engine is strong, where it's stuck, and what matters most next. Our read on Theorem: our read, unlocks with email
What the full report adds
GTM score over time
Think we got Theorem wrong? and we will take another look. How we score →