.@CajalResearch skalar upp formell verifiering massivt för att påskynda vetenskapliga upptäckter. De använder supermänskliga AI-matematiker inom högpåverkande tillämpningsområden, med start inom kvantdatorer och finans. Grattis till lanseringen, @lukerj00 & @pedro_nobre0!