Cajal

Scaling formal verification to accelerate scientific discovery

Webbplats ↗Källa: Y Combinator ↗

Om företaget

Företagsbeskrivning på engelska

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.

Ämnen

Plats: San Francisco, CA, USA
Teamstorlek: 2 anställda
YC-batch: Winter 2026
Status: Aktiv
Fas: Tidig fas

Liknande startups och konkurrenter

Stripe

Rekryterar

Vad de gör:

Ekonomisk infrastruktur för internet.

Snabbfakta:

Huvudkontor: San Francisco, CA, USA

7 000 anställdaYC S09TillväxtfasLediga tjänster: 729

Visa profil Webbplats ↗

Deel

Rekryterar

Vad de gör:

Allt-i-ett-plattformen för HR och lön för globala team

HR och rekrytering Redovisning och ekonomi

Snabbfakta:

Huvudkontor: San Francisco, CA, USA

5 000 anställdaYC W19TillväxtfasDistans

Visa profil Webbplats ↗

GrubMarket

Vad de gör:

AI-driven teknisk möjliggörare och digital omvandlare av den amerikanska…

Logistik Livsmedel och jordbruk E-handel

Snabbfakta:

Huvudkontor: San Francisco, CA, USA

4 548 anställdaYC W15Tillväxtfas

Visa profil Webbplats ↗

Flexport

Rekryterar

Vad de gör:

Plattform för global logistik.

Snabbfakta:

Huvudkontor: San Francisco, CA, USA

3 000 anställdaYC W14TillväxtfasLediga tjänster: 202

Visa profil Webbplats ↗

Rippling

Rekryterar

Vad de gör:

Ett ställe för att sköta all HR, IT och ekonomi. Globalt.

HR och rekrytering

Snabbfakta:

Huvudkontor: San Francisco, CA, USA

2 500 anställdaYC W17Tillväxtfas

Visa profil Webbplats ↗

Gusto

Rekryterar

Vad de gör:

Ger växande företag allt de behöver för att ta hand om sitt team

HR och rekrytering Insurtech

Snabbfakta:

Huvudkontor: San Francisco, CA, USA

2 400 anställdaYC W12TillväxtfasLediga tjänster: 97

Visa profil Webbplats ↗

Frågor och svar

Var har Cajal sitt huvudkontor?

San Francisco, CA, USA

Hur många arbetar på Cajal?

Antal anställda enligt företagsprofilen: 2.

Har Cajal tagit in kapital?

Det finns inga investeringsrundor för Cajal i vårt underlag.

Vilka alternativ finns till Cajal?

Liknande startups: Stripe, Deel och GrubMarket.