.@CajalResearch schaalt formele verificatie enorm op om wetenschappelijke ontdekkingen te versnellen. Ze zetten supermenselijke AI-wiskundigen in voor hoog-impact toegepaste domeinen, te beginnen met quantumcomputing en financiën. Gefeliciteerd met de lancering, @lukerj00 & @pedro_nobre0!