← 所有公司
Cajal
运营中扩展形式化验证以加速科学发现
W26·Winter 2026·B2B 企业服务·San Francisco, CA, USA·2 人团队·2025 年成立
公司简介
Cajal（YC W26）正在大规模扩展形式化验证，以加速科学发现。我们将超人类AI数学家部署到具有高影响力的应用领域，从量子计算和金融业开始。 我们通过Lean实现这一目标——这是一个允许我们对任何数学命题进行形式化验证的框架，使AI扎根于真理，并验证系统所发现的工具。
创始团队
Luke Johnston· Founder在Cajal（W26）从事形式化验证和AI工作。 曾在牛津大学、剑桥大学和伦敦大学学院的研究实验室从事机器学习和神经科学研究。 更多信息请访问 https://caj.al/，欢迎通过 luke@caj.al 联系。
产品发布 · 1 次发布
Cajal 部署 AI 数学家至高影响力的应用领域，从量子计算和金融起步。