🚨ЩОЙНО: @CertoraInc, фірма з криптобезпеки та аудиту, представила відкритий AI Composer, який інтегрує формальну верифікацію безпосередньо у смарт-контракт, створений ШІ. Інструмент виконує математичні перевірки безпеки перед виконанням.