Cajal YC-Bewerbung

Winter 2026Active

Cajal durchlief Y Combinator im Winter 2026-Batch als ein B2B-Unternehmen. Unten: Was das Unternehmen tut, wer es gegründet hat und seine Bewerbung bei YC, Frage für Frage im echten YC-Formular rekonstruiert.

YC-Batch: Winter 2026
Branche: B2B
Teamgröße: 2
Status: Active
Gestartet: 2026

Gründer

Pedro NobreFounder
Luke JohnstonFounder

Was Cajal tut

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.

Cajals YC-Bewerbung, rekonstruiert

Y Combinator Bewerbung

Cajal, Winter 2026 Batch. Die echten Fragen des Antrags, beantwortet aus öffentlichen Daten.

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 weitere Antworten in der vollständigen Bewerbung

Founders, Progress, Idea, Equity, Curious, Batch Preference sind in der Vollversion. Erstelle ein kostenloses Konto, um es in YC Insights neben jedem anderen YC-Batch zu öffnen.

Vollständige Bewerbung anzeigen

Häufig gestellte Fragen

Ist das die echte YC-Bewerbung von Cajal?

Nein. Y Combinator hält eingereichte Bewerbungen privat. Dies ist eine Rekonstruktion: die echten Fragen des YC-Formulars, beantwortet aus den öffentlichen Daten von Cajal (Veröffentlichungsnotizen, Gründerhintergründe, Produktbeschreibung). Sie zeigt, wie sich ein Unternehmen wie Cajal bei YC präsentieren würde, nicht den Text, den sie eingereicht haben.

In welchem YC-Batch war Cajal?

Cajal war Teil des Y Combinator Winter 2026-Batches.

Wer hat Cajal gegründet?

Cajal wurde von Pedro Nobre, Luke Johnston gegründet.

Was macht Cajal?

Scaling formal verification to accelerate scientific discovery

Wie lese ich die vollständige, rekonstruierte Bewerbung?

Erstelle ein kostenloses Round Funded Konto. Die vollständige 26-Antwort-Version der Bewerbung von Cajal, und jede andere YC-Kohorte, findest du in YC Insights.