Inscrição YC de Cajal
Cajal passou pela Y Combinator no batch Winter 2026 como uma empresa B2B. Abaixo: o que a empresa faz, quem a fundou e sua inscrição para a YC, reconstruída pergunta por pergunta no formulário real da YC.
- Batch YC
- Winter 2026
- Indústria
- B2B
- Tamanho da equipe
- 2
- Status
- Active
- Lançada
- 2026
Fundadores
Pedro NobreFounder
Luke JohnstonFounder
O que Cajal faz
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.
Inscrição YC de Cajal, reconstruída
Inscrição Y Combinator
Cajal, lote Winter 2026. As verdadeiras perguntas do formulário, respondidas com dados 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 respostas a mais na inscrição completa
Founders, Progress, Idea, Equity, Curious, Batch Preference estão na versão completa. Crie uma conta gratuita para abri-la no YC Insights, ao lado de todos os outros batches da YC.
Perguntas Frequentes
Esta é a inscrição real da YC de Cajal?
Não. A Y Combinator mantém as inscrições submetidas em privado. Esta é uma reconstrução: as perguntas reais do formulário da YC, respondidas a partir dos dados públicos de Cajal (notas de lançamento, históricos de fundadores, descrição do produto). Mostra como uma empresa como Cajal se apresentaria à YC, não o texto que eles submeteram.
Em qual batch da YC Cajal esteve?
Cajal fez parte do batch Winter 2026 da Y Combinator.
Quem fundou o Cajal?
O Cajal foi fundado por Pedro Nobre, Luke Johnston.
O que o Cajal faz?
Scaling formal verification to accelerate scientific discovery
Como eu leio o application completo reconstruído?
Crie uma conta gratuita no Round Funded. A versão completa de 26 respostas do application do Cajal, e de todos os outros lotes do YC, está no YC Insights.
Mais startups YC como Cajal
