infrastructurefactbullishAI agents allow scaling automation of formal verification by writing proofs that are independently-verifiableMicrosoft Research28 Jul 2026https://www.microsoft.com/en-us/research/blog/verifying-rust-cryptography-in-symcrypt-from-standards-to-code/