Code Metal wins $80M WarMatrix contract

Code Metal won an $80 million Other Transaction Authority contract to advance WarMatrix, the Pentagon’s AI-enabled modeling and simulation platform. The company’s contract announcement says its provable-AI system mathematically verifies that transformed code preserves the original system’s behavior, letting planners modernize existing simulations instead of rebuilding decades of validated infrastructure; the archive’s GPU-kernel verification analysis makes the same reliability point from the software side. Builders should file away the distinction: proof can preserve code behavior, but it cannot certify the real-world assumptions or AI-generated narrative layered above the simulation.