.@CajalResearch масштабує формальну верифікацію для прискорення наукових відкриттів. Вони залучають надлюдських AI-математиків у високоефективних прикладних сферах, починаючи з квантових обчислень і фінансів. Вітаю з запуском, @lukerj00 і @pedro_nobre0!