InfoQ192코어 확장 및 수학적 검증 기반 VM 격리로 실현한 고밀도 컴퓨팅AWS Graviton5 Reaches General Availability with 192 Cores and Formally Verified VM IsolationInfrastructureadvanced9 분 소요2026년 6월 22일