.@CajalResearch extinde masiv verificarea formală pentru a accelera descoperirea științifică. Ei folosesc matematicieni AI supraumani în domenii aplicate cu impact ridicat, începând cu calculul cuantic și finanțe. Felicitări pentru lansare, @lukerj00 & @pedro_nobre0!