YC active company list audit
Theorem
Theorem: Program verification so even your systems engineers can vibecode. Headquartered in San Francisco, CA, United States. Current operating status: active.
Oomira checked this YC company record against source evidence and keeps the current facts, observed dates, and provenance visible before the interactive app loads.
17 facts3 sources1 superseded claims
What changed in the audit
external nameAletheia -> Theorem
2026-06-12 · yc-oss record id 30548: field "former_names" includes "Aletheia"
- Summary
- Program verification so even your systems engineers can vibecode
2026-06-12 · 1 source- Description
- 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 c...
2026-06-12 · 1 source- Website
- https://theorem.dev
2026-06-12 · 2 sources- Hiring
- yes
2026-06-13 · 1 source- Headquarters
- San Francisco, CA, United States
2026-06-13 · 1 source- Operating status
- active
2026-06-12 · 1 source- Industry
- B2B
2026-06-13 · 1 source