.@CajalResearch skalerer formell verifisering massivt for å akselerere vitenskapelige oppdagelser. De bruker supermenneskelige AI-matematikere i avanserte anvendte domener, med start innen kvanteberegning og finans. Gratulerer med lanseringen, @lukerj00 & @pedro_nobre0!