AWS выпустила процессор Graviton5 и новые инстансы M9g, которые используют формально верифицируемый механизм изоляции для обеспечения математически доказанной безопасности виртуальных машин. Эта система опирается на шестое поколение платформы Nitro для повышения производительности при работе с агентным ИИ.