.@CajalResearch sta scalando enormemente la verifica formale per accelerare la scoperta scientifica. Deployano matematici AI sovrumani in domini applicati ad alto impatto, iniziando con il calcolo quantistico e la finanza. Congratulazioni per il lancio, @lukerj00 e @pedro_nobre0!