Cajal

Scaling formal verification to accelerate scientific discovery

About

Cajal (YC W26) is massively scaling formal verification to accelerate scientific discovery. We deploy superhuman AI mathematicians to high-impact applied domains, starting with quantum computing and finance. We do this with Lean - a framework that allows us to formally verify any mathematical statement, grounding AI in truth and validating the tools discovered by our systems.

Facts

Website: caj.al
City: San Francisco
Country: United States
YC batch: Winter 2026
Team: 2 people
Stage: Early stage
AI-native: Yes

See it on the San Francisco map Source Spot something wrong?

More Quantum in San Francisco

Rigetti Computing

Quantum coherent supercomputing.

San Francisco, United States

Conductor QuantumHiring

AI that operates quantum computers for scientific discovery

San Francisco, United States

Menten AI

Menten AI designs peptide and protein therapeutics using quantum…

San Francisco, United States

Is this your company?

Claim this profile

Free and instant: prove you run caj.al and edit the profile yourself.

Your logo, office address and founder photos
The ✓ Verified mark next to Cajal across the site
Open roles listed on the Hiring board
A followed link back to your website

Claim Cajal

For your website

A rank card with Cajal's standing on Labspie, or a simple badge. Both link to this profile and update themselves.

<a href="https://labspie.com/c/cajal" title="Cajal is listed on Labspie"><img src="https://labspie.com/card/cajal-dark.svg" alt="Cajal is listed on Labspie" width="400" height="88"></a>