Startupsby GlyphWhy it ranks
How the rank works7signal of 100 · rising 7
- went through YCProgram · this site+4
- team of 2Team size · YC's directory+2.5
A sum of public facts, not a judgement and not investment advice.
Competitors
| Company | Category | Status | Program |
|---|---|---|---|
| AI | Not stated | Antler2024 | |
| AI | Active | YCF26 | |
| AI | Active | YCS24 | |
| AI, Data | Not stated | speedrunSR007 | |
| AI | Active | YCS26 |
Adjacent
| Company | Category | Status | Program |
|---|---|---|---|
| Other | Active | YCF25 | |
| Other | Active | YCW18 | |
| Other | Active | YCW22 | |
| Qoro QuantumShared: quantum computingAlchemist Class 41Not statedOther | Other | Not stated | AlchemistClass 41 |
| SmartanShared: verificationAlchemist Class 30Not statedOther | Other | Not stated | AlchemistClass 30 |
Also from W26 in AI
All of W26Founders
- Pedro NobreFounder/CEO
- Luke JohnstonFounder/CTO
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.
- YC batch
- W26 · Winter 2026
- Status, per YC
- Active
- Category
- AI
- Team size
- 2
- Location
- San Francisco, CA, USA
- Founded
- 2025
- Checked
- 7h ago
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.