.@CajalResearch значительно увеличивает масштабы формальной верификации для ускорения научных открытий. Они используют сверхчеловеческих ИИ-математиков в высокоэффективных прикладных областях, начиная с квантовых вычислений и финансов. Поздравляю с запуском, @lukerj00 и @pedro_nobre0!