Pedro Nobre
Founder/CEOWorking on formal verification and AI.
Founder profile As recorded 2026-09-15
Browser storage is unavailable. Keep this page open and export your collection before leaving.
Other
Cajal
Overview
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.
Company description As recorded 2026-11-08
Founders & team
Previously Cajal Technologies
Company history As recorded 2026-11-08
Luke Johnston
Founder/CTOWorking 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
Founder profile As recorded 2026-09-15
2team members reported
Source-reported As recorded 2026-09-15
Founded 2025 · Source
News & product activity
Cohort membership
Winter 2026Winter 2026
Original evidence ↗Sources & observations
Profile depthenriched profile
Website observationwebsite reachable
Last website check2026-11-11
Location · source statedSan Francisco, CA, USA
Pricing evidenceNo pricing page confirmed
Maturity: Not assessed · 3 of 6 areas documented
Source-based assessment · automated evidence rules
The retained text does not establish product availability or customer use.
Maturity is an evidence-based assessment, not a success rating. It may understate the current stage where evidence is limited. Coverage records documented areas, not a complete or independently audited company history.
- Product overviewSource description Checked 2026-11-11
- Product visualsNot documented
- Founders & originsTeam information
- Business model & pricingNot documented
- Funding & ownershipNot documented
- Dated milestonesDated source activity: 2026 Q1 (quarter only)
independent websitesource corroborationreachable websitedescriptive evidenceclassified market and modelsourced peoplesourced founding yearrecent publishing observed