.@CajalResearch augmente massivement la vérification formelle pour accélérer la découverte scientifique. Ils déploient des mathématiciens IA surhumains dans des domaines appliqués à fort impact, en commençant par l'informatique quantique et la finance. Félicitations pour le lancement, @lukerj00 & @pedro_nobre0 !