Luke retweetledi
.@CajalResearch is massively scaling formal verification to accelerate scientific discovery.
They deploy superhuman AI mathematicians to high-impact applied domains, starting with quantum computing and finance.
Congrats on the launch, @lukerj00 & @pedro_nobre0!
ycombinator.com/launches/PX0-c…
English