Cajal YC 申请
Cajal 在 Winter 2026 批次的 Y Combinator 中作为一家 B2B 公司进行过。以下是：公司做什么、谁创立了它，以及其 YC 申请，按照真实 YC 表格逐题重建。
- YC 批次
- Winter 2026
- 行业
- B2B
- 团队规模
- 2
- 状态
- Active
- 已发布
- 2026
创始人
Pedro NobreFounder
Luke JohnstonFounder
Cajal 做什么
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 的 YC 申请，重建版
Y Combinator 申请
Cajal，Winter 2026 期。来自公开数据的真实申请问题解答。
- Founders2
- Company7
- Progress7
- Idea4
- Equity3
- Curious2
- Batch Preference1
Company
Cajal
Scaling formal verification to accelerate science
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.
We live in San Francisco, and the company is based here and will remain here after YC.
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.
21 更多回答 在完整申请中
Founders, Progress, Idea, Equity, Curious, Batch Preference 包含在完整版中。创建免费账户即可在 YC Insights 中打开，紧邻每个其他 YC 批次。
常见问题解答
这是 Cajal 的真实 YC 申请吗？
不是。Y Combinator 对提交的申请保密。这是重建版：使用 Cajal 的公开数据（发布笔记、创始人背景、产品描述）回答真实的 YC 表格问题。它展示了像 Cajal 这样的公司会如何向 YC 自我介绍，而不是他们提交的文本。
Cajal 是哪个 YC 批次的？
Cajal 是 Y Combinator Winter 2026 批次的成员。
谁创立了 Cajal？
Cajal 由 Pedro Nobre, Luke Johnston 创立。
Cajal 做什么？
Scaling formal verification to accelerate scientific discovery
如何阅读完整的重建申请？
创建免费的 Round Funded 账户。YC Insights 中包含 Cajal 的完整 26 个问题的版本，以及其他所有 YC 批次的公司信息。
更多 YC 初创公司，例如 Cajal
