.@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!