Cajal
Scaling formal verification to accelerate scientific discovery
À propos
Description de l’entreprise en anglais
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.
Thèmes
- Localisation
- San Francisco, CA, États-Unis
- Équipe
- 2 employés
- Promotion YC
- Winter 2026
- Statut
- Active
- Stade
- Phase d’amorçage
