YCW26· AICajal
Scaling formal verification to accelerate scientific discovery
Founders
- Pedro NobreFounder/CEO
- Luke JohnstonFounder/CTO
Same space
Adjacent
Overlapping tags, a different niche.
Argument Computer CorporationW22Accelerate verifiable computingShared: formal, verification, accelerateActive
LabricX25The data layer for scientific researchShared: scientific, discovery, accelerateActive
AnswerThisF25End-to-end workspace to accelerate scientific discoveryShared: scientific, discovery, accelerateActive
FirstIgniteS21AI-Powered Business Development for Scientific OrganizationsShared: scientificAcquired
BioRenderW18'Figma/Canva for scientists’Shared: scientific, discovery, accelerateActive
Also from W26 in AI
Batchmates in Winter 2026.
/dev/fastW26/dev/fast is the AI-native code forgeActive
10x ScienceW26The AI-native platform for next-generation protein characterization.Active
21stW26UI building blocks for the agentic internetActive
AemonW26The Forward-Deployed AI Research EngineerActive
Agentic FabriqW26The control plane for AI agents.Active
Alt-XW26Building the best venue for private markets exposure.Active
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.
San Francisco, CA, USA
Cajal: questions
Which YC batch was Cajal in?
Cajal was in Y Combinator's Winter 2026 batch (W26).
Is Cajal still active?
Y Combinator lists Cajal as active.
Who founded Cajal?
Cajal's founders, as listed on its YC page: Pedro Nobre (Founder/CEO), Luke Johnston (Founder/CTO).
Where is Cajal based?
Cajal lists San Francisco, CA, USA as its location on YC's directory.
Not affiliated with Y Combinator. From YC's public directory. Logos via logo.dev; trademarks belong to their owners.