.@CajalResearch secara besar-besaran meningkatkan verifikasi formal untuk mempercepat penemuan ilmiah. Mereka menyebarkan matematikawan AI manusia super ke domain terapan berdampak tinggi, dimulai dengan komputasi kuantum dan keuangan. Selamat atas peluncurannya, @lukerj00 & @pedro_nobre0!