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
- الحالة
- نشطة
- المرحلة
- مرحلة مبكرة
