Back to YC Companies
Cajal
Winter 2026
Active
Scaling formal verification to accelerate scientific discovery
2 people View on YC
Cajal at a glance
- Y Combinator batch
- Winter 2026
- Status
- Active
- Industry
- B2B
- Team size
- 2 people
- Location
- Not recorded
- Website
- Not recorded
Every field above comes from the Y Combinator company record. Nothing is estimated.
About Cajal
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.
Industries:
B2B