Tag
#formal verification
2 stories taggedformal verification.
Science & Space
An AI Just Verified the Hardest Prime-Number Proof Mathematicians Have Ever Checked
Axiom Math's AxiomProver confirmed a result that sits at the very edge of what we know about primes. The real prize, though, is what this means for the safety of AI-written code.
4 min read
AI Security
Microsoft Is Using AI Agents to Mathematically Prove Its Encryption Code Has No Flaws
The team behind Windows and Azure's cryptography library is doing something unusual: not just testing the code, but proving it correct, for every possible input, using formal mathematical proofs written partly by AI.
3 min read