.@CajalResearch masivně rozšiřuje formální ověřování, aby urychlila vědecké objevy. Nasazují nadlidské AI matematiky do vysoce významných aplikovaných oblastí, počínaje kvantovým počítáním a financemi. Gratuluji k uvedení na trh, @lukerj00 & @pedro_nobre0!