Candidature YC de Cajal

Winter 2026Active

Cajal a été sélectionné par Y Combinator dans le cadre du batch Winter 2026 en tant qu'entreprise B2B. Ci-dessous : ce que fait l'entreprise, qui l'a fondée, et sa candidature à YC, reconstruite question par question dans le vrai formulaire YC.

Batch YC: Winter 2026
Secteur d'activité: B2B
Taille de l'équipe: 2
Statut: Active
Lancé: 2026

Fondateurs

Pedro NobreFounder
Luke JohnstonFounder

Ce que fait 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.

Candidature YC de Cajal, reconstruite

Candidature Y Combinator

Cajal, promotion Winter 2026. Les vraies questions de candidature, répondues à partir de données publiques.

Founders2
Company7
Progress7
Idea4
Equity3
Curious2
Batch Preference1

Company

Company name

Cajal

Describe what your company does in 50 characters or less.

Scaling formal verification to accelerate science

What is your company going to make? Please describe your product and what it does or will do.

We build a platform using Lean to formally verify mathematical statements in applied fields like quantum computing and finance. Our AI mathematicians generate and check proofs, grounding AI discoveries in mathematical truth so users can trust and build upon them.

Where do you live now, and where would the company be based after YC?

We live in San Francisco, and the company is based here and will remain here after YC.

Explain your decision regarding location.

San Francisco has the right mix of technical talent and investors interested in deep tech and AI enabling scientific discovery. Being here helps us recruit and meet domain experts.

21 réponses supplémentaires dans la candidature complète

se trouvent dans la version complète. Créez un compte gratuit pour l'ouvrir dans YC Insights, à côté de tous les autres batches YC.

Voir la candidature complète

Questions fréquemment posées

Est-ce la vraie candidature YC de Cajal ?

Non. Y Combinator garde les candidatures soumises privées. Ceci est une reconstruction : les vraies questions du formulaire YC, répondues à partir des données publiques de Cajal (notes de lancement, parcours des fondateurs, description du produit). Cela montre comment une entreprise comme Cajal se présenterait à YC, pas le texte qu'ils ont soumis.

À quel batch YC Cajal appartenait-il ?

Cajal faisait partie du batch Winter 2026 de Y Combinator.

Qui a fondé Cajal ?

Cajal a été fondé par Pedro Nobre, Luke Johnston.

Que fait Cajal ?

Scaling formal verification to accelerate scientific discovery

Comment lire la candidature complète reconstruite ?

Créez un compte Round Funded gratuit. La version complète de la candidature de Cajal en 26 réponses, et de chaque autre promotion YC, se trouve dans YC Insights.