Aplicación YC de Cajal
Cajal pasó por Y Combinator en el batch Winter 2026 como una empresa de B2B. Abajo: qué hace la empresa, quién la fundó y su aplicación a YC, reconstruida pregunta por pregunta en el formulario real de YC.
- Batch YC
- Winter 2026
- Industria
- B2B
- Tamaño del equipo
- 2
- Estado
- Active
- Lanzado
- 2026
Fundadores
Pedro NobreFounder
Luke JohnstonFounder
Lo que hace 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.
Aplicación YC de Cajal, reconstruida
Solicitud de Y Combinator
Cajal, batch Winter 2026. Las preguntas reales del formulario, respondidas con datos públicos.
- 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 respuestas más en la aplicación completa
están en la versión completa. Crea una cuenta gratuita para abrirla en YC Insights, junto a cada otro batch de YC.
Preguntas Frecuentes
¿Es esta la aplicación YC real de Cajal?
No. Y Combinator mantiene privadas las aplicaciones enviadas. Esta es una reconstrucción: las preguntas reales del formulario de YC, respondidas a partir de los datos públicos de Cajal (notas de lanzamiento, antecedentes de fundadores, descripción del producto). Muestra cómo una empresa como Cajal se presentaría a YC, no el texto que enviaron.
¿En qué batch de YC estuvo Cajal?
Cajal formó parte del batch Winter 2026 de Y Combinator.
¿Quién fundó Cajal?
Cajal fue fundado por Pedro Nobre, Luke Johnston.
¿A qué se dedica Cajal?
Scaling formal verification to accelerate scientific discovery
¿Cómo leo la aplicación completa reconstruida?
Crea una cuenta gratuita de Round Funded. La versión completa de 26 respuestas de la aplicación de Cajal, y de cada otro batch de YC, está en YC Insights.
Más startups de YC como Cajal
