Cajal YC Başvurusu

Winter 2026Active

Cajal, B2B şirketi olarak Winter 2026 grubunda Y Combinator'dan geçti. Aşağıda: şirketin ne yaptığı, kimin kurduğu ve gerçek YC formunda yeniden yapılandırılmış YC başvurusu.

YC grubu: Winter 2026
Sektör: B2B
Ekip büyüklüğü: 2
Durum: Active
Lansmanı Yapıldı: 2026

Kurucular

Pedro NobreFounder
Luke JohnstonFounder

Cajal ne yapar

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'in YC başvurusu, yeniden yapılandırılmış

Y Combinator başvurusu

Cajal, Winter 2026 dönemi. Gerçek form soruları, herkese açık verilerden yanıtlandı.

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.

Tam başvuruda 21 ek cevap

Founders, Progress, Idea, Equity, Curious, Batch Preference tam sürümde. YC Insights'ta, diğer her YC grubu yanında açmak için ücretsiz bir hesap oluşturun.

Tüm başvuruyu gör

Sıkça Sorulan Sorular

Bu, Cajal şirketinin gerçek YC başvurusu mu?

Hayır. Y Combinator gönderilen başvuruları gizli tutar. Bu bir yeniden yapılandırmadır: gerçek YC form soruları, Cajal'in kamuya açık verilerinden (lansman notları, kurucu geçmişleri, ürün açıklaması) yanıtlanmıştır. Cajal gibi bir şirketin YC'ye kendisini nasıl sunacağını gösterir, gönderdikleri metni değil.