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