.@CajalResearch está escalando masivamente la verificación formal para acelerar el descubrimiento científico. Despliegan matemáticos de IA sobrehumanos en dominios aplicados de alto impacto, comenzando por la computación cuántica y las finanzas. ¡Enhorabuena por el lanzamiento, @lukerj00 y @pedro_nobre0!