YC W26
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.
Founders
- Pedro Nobre
Family Office Investors
Altss tracks family office allocations to YC-backed companies. Request access to see which family offices have invested in Cajal.
See family office activityIndustry & Focus
B2B