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.
Funding
Every round, secondary, debt facility or acquisition involving Cajal that Lounge tracks, newest first.
No rounds recorded yet.
Paid members see every AI company on Lounge with revenue, funding, valuation and investors, searchable and sortable, plus CSV exports. Plans start at $19/mo.
See plans →Log in