Application YC di Cajal
Cajal ha partecipato a Y Combinator nel batch Winter 2026 come azienda B2B. Sotto: cosa fa l'azienda, chi l'ha fondata e la sua application a YC, ricostruita domanda per domanda nel form reale di YC.
- Batch YC
- Winter 2026
- Settore
- B2B
- Dimensione team
- 2
- Stato
- Active
- Lanciata
- 2026
Founder
Pedro NobreFounder
Luke JohnstonFounder
Cosa fa 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.
Application YC di Cajal, ricostruita
Domanda per Y Combinator
Cajal, batch Winter 2026. Le vere domande del form, risposte da dati pubblici.
- Founders2
- Company7
- Progress7
- Idea4
- Equity3
- Curious2
- Batch Preference1
Company
Cajal
Scaling formal verification to accelerate science
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.
We live in San Francisco, and the company is based here and will remain here after YC.
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 risposte in più nell'application completa
Founders, Progress, Idea, Equity, Curious, Batch Preference sono nella versione completa. Crea un account gratuito per aprirla in YC Insights, accanto a ogni altro batch YC.
Domande Frequenti
Questa è l'application YC reale di Cajal?
No. Y Combinator mantiene private le application inviate. Questa è una ricostruzione: le domande del form YC reale, a cui si è risposto usando i dati pubblici di Cajal (note di lancio, background dei founder, descrizione del prodotto). Mostra come un'azienda come Cajal si presenterebbe a YC, non il testo che hanno inviato.
A quale batch YC apparteneva Cajal?
Cajal apparteneva al batch Winter 2026 di Y Combinator.
Chi ha fondato Cajal?
Cajal è stato fondato da Pedro Nobre, Luke Johnston.
Cosa fa Cajal?
Scaling formal verification to accelerate scientific discovery
Come leggo la ricostruzione completa della application?
Crea un account Round Funded gratuito. La versione completa di 26 risposte della application di Cajal, e di ogni altro batch YC, è in YC Insights.
Più startup YC come Cajal
