Aplikacja Cajal do YC

Winter 2026Active

Cajal przeszedł przez Y Combinator w batchu Winter 2026 jako firma z branży B2B. Poniżej: czym zajmuje się firma, kto ją założył i jej aplikacja do YC, zrekonstruowana pytanie po pytaniu w prawdziwym formularzu YC.

Batch YC: Winter 2026
Branża: B2B
Wielkość zespołu: 2
Status: Active
Wystartowano: 2026

Foundersi

Pedro NobreFounder
Luke JohnstonFounder

Czym zajmuje się 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.

Aplikacja Cajal do YC, zrekonstruowana

Aplikacja Y Combinator

Cajal, batch Winter 2026. Prawdziwe pytania z formularza, odpowiedzi na podstawie danych publicznych.

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 dodatkowych odpowiedzi w pełnej aplikacji

Są w pełnej wersji. Utwórz darmowe konto, aby otworzyć je w YC Insights, obok każdego innego batcha YC.

Zobacz pełną aplikację

Często zadawane pytania

Czy to jest prawdziwa aplikacja Cajal do YC?

Nie. Y Combinator utrzymuje prywatność złożonych aplikacji. Jest to rekonstrukcja: prawdziwe pytania z formularza YC, na które odpowiedziano na podstawie publicznych danych Cajal (notatki o premierze, tło founderów, opis produktu). Pokazuje, jak firma taka jak Cajal przedstawiłaby się YC, a nie tekst, który złożyli.