.@CajalResearch está a escalar massivamente a verificação formal para acelerar a descoberta científica. Eles implementam matemáticos de IA sobre-humanos em domínios aplicados de alto impacto, começando pela computação quântica e finanças. Parabéns pelo lançamento, @lukerj00 & @pedro_nobre0!