Cajal
Scaling formal verification to accelerate scientific discovery
تعارف
کمپنی کی تفصیل انگریزی میں
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.
موضوعات
- مقام
- سان فرانسسکو, CA, امریکا
- ٹیم کا حجم
- ملازمین: 2
- YC بیچ
- Winter 2026
- حیثیت
- فعال
- مرحلہ
- ابتدائی مرحلہ
