Заявка Cajal в YC

Winter 2026Active

Cajal прошел Y Combinator в потоке Winter 2026 как компания из сферы B2B. Ниже: чем занимается компания, кто ее основал, и ее заявка в YC, реконструированная вопрос за вопросом в реальной форме YC.

Поток YC: Winter 2026
Сфера: B2B
Размер команды: 2
Статус: Active
Запущено: 2026

Фаундеры

Pedro NobreFounder
Luke JohnstonFounder

Чем занимается 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.

Заявка Cajal в YC, реконструирована

Заявка Y Combinator

Cajal, батч Winter 2026. Реальные вопросы из анкеты, ответы из публичных данных.

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 еще ответ в полной заявке

Founders, Progress, Idea, Equity, Curious, Batch Preference находятся в полной версии. Создайте бесплатную учетную запись, чтобы открыть ее в YC Insights, рядом с каждым другим потоком YC.

Смотреть полную заявку

Часто задаваемые вопросы

Это реальная заявка Cajal в YC?

Нет. Y Combinator держит поданные заявки в приватности. Это реконструкция: реальные вопросы формы YC, ответы на которые основаны на публичных данных Cajal (заметки о запуске, бэкграунд фаундеров, описание продукта). Это показывает, как компания вроде Cajal представила бы себя YC, а не текст, который они подали.