The AI arms race will be won on mathematical proof
Modern conflicts will not be won by those who simply build the most capable AI-powered systems. It will be won by those who can definitively prove theirs will work when the stakes are highest. The U.S. and its allies cannot afford to deploy autonomous systems without mathematical rigor.