Overview
One-liner
Scaling formal verification to accelerate scientific discovery
Investors
Y Combinator
Funding round
Seed
Funding notes
Tracxn listed as unfunded; YC W26 page confirms batch membership. YC $500K assumed. No co-investors found.
Funding source
Why it's interesting
Market trends shaping Cajal
- 1Vertical AI agents outperforming horizontal copilots in narrow workflows
- 2Founder-led GTM and product-led growth still beating enterprise sales motions
- 3Distribution moats compounding faster than model moats
- 4Open-source models commoditizing intelligence; data and workflow win
- 5AI-native rebuilds of legacy SaaS the dominant 2025–26 venture theme
- 6Bundling and rebundling cycles accelerating across every software category
Insights · email required
Unlock the 6 trends behind Cajal
Enter your email to read every market insight across all 400 startups — free.
Recommended reading & listening
Related insights & creators
- Jun 2026 · neweconomies.coY Combinator Spring 2026 Batch
Meet the latest YC batch and the trends shaping the next wave of startups.
- May 2026 · neweconomies.coMay Tech Roundup: AI Micro-Dramas, Layoffs & SpaceX
A wild month for tech — AI micro-dramas, layoffs, and SpaceX's next move.
- Mar 2026 · neweconomies.coY Combinator W26: The Full Batch
Meet Y Combinator's W26 batch and the trends shaping tech.
- Newsletter · Podcast · new-media.coLatent Space
The AI engineer's home base — research, infra, and shipped products.