Cajal

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· Founder

  Working on formal verification and AI.

  LinkedIn ↗
• 
  Luke Johnston· Founder

  Working on formal verification and AI at Cajal (W26). Background in machine learning and neuroscience at research labs in Oxford/Cambridge/UCL. Learn more at https://caj.al/ and feel free to get in touch at luke@caj.al

  LinkedIn ↗Twitter ↗

Product launches · 1 launch

• Cajal: Scaling Formal Verification for Scientific Discovery ↗▲ 15Feb 24, 2026

  Cajal deploys AI mathematicians to high-impact applied domains, starting with quantum computing and finance.

Change history · none recorded