Cajal
New accelerator entry · 2026-02-24 · the record
In their words
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.
What the record says
- One of 193 companies held here in B2B.
No investor is drawn from a Form D — the form states how many invested and never who. The one investor on this graph is named because a batch has exactly one.
The full profile
Source Check, INVEST, RECRUIT and Press Requests on Cajal
- Source Check — verify what Cajal states, against the registers that hold it.
- INVEST — size up this company on the figures its record states.
- RECRUIT — see who is already on the team.
- Press Requests — connect with Cajal for a story.
You land back on this company when you are in.
Not ready to upgrade? Keep this one in view instead.
Watchlist CajalYou get an alert in MentionFox the next time this company shows up.
Is this you?
If you're behind Cajal: acceptance into a YC batch is one of the few weeks a young company gets looked up by people who matter — investors, other founders, press. FoxPlug turns the commits, deploys, and releases you're already making into that story automatically, so anyone who looks finds something current. FoxChat puts a guide on your own site so the people YC's own page just sent you don't read one line and leave.
Sourced from the company's Y Combinator directory entry.