TL;DR: Cajal is a Y Combinator Winter 2026 startup Scaling formal verification to accelerate scientific discovery, currently active with a team of 2.
Scaling formal verification to accelerate scientific discovery
Last verified:
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.
Yes. Cajal was funded by Y Combinator in the Winter 2026 batch. Scaling formal verification to accelerate scientific discovery
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 i…
Cajal was part of Y Combinator's Winter 2026 batch.
Cajal has a team of 2 people according to Y Combinator's directory.
Cajal is currently listed as Active with a team of 2 in Y Combinator's directory.
Loading interactive view…