.@CajalResearch masowo rozwija formalną weryfikację, aby przyspieszyć odkrycia naukowe. Wykorzystują superludzkich matematyków AI w obszarach o dużym wpływie, zaczynając od obliczeń kwantowych i finansów. Gratulacje z okazji uruchomienia, @lukerj00 i @pedro_nobre0!