Cajal YCアプリケーション
CajalはWinter 2026バッチでB2B企業としてY Combinatorを卒業しました。以下：会社の事業内容、創業者、そして実際の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.
よくある質問
Cajalの実際のYCアプリケーションですか？
いいえ。Y Combinatorは提出されたアプリケーションを非公開にしています。これは再構築されたものです。実際のYCフォームの質問に、Cajalの公開データ（ローンチノート、創業者経歴、製品説明）から回答しています。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アカウントを作成してください。 Cajalの26つの回答からなる完全なアプリケーションと、他のすべてのYCバッチはYC Insightsにあります。
Cajal 様のような他の YC スタートアップ
