$25 million program to figure out if it can deliver “mathematical guarantees” for AI reliability in various military scenarios.

I can save you $25M. The answer is “nope”