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.
Build your own investing agent
GPAgent keeps YC listings public and neutral. Fund-specific scoring, notes, and workflow state live in each customer workspace.
Join the GPAgent waitlistDetails
Status
Active
Stage
Early
Team Size
2
Regions
United States of America, America / Canada