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 sta utilizzando agenti AI per provare matematicamente che il suo codice di crittografia non ha difetti
Il team dietro la libreria di crittografia di Windows e Azure sta facendo qualcosa di inusuale: non solo testare il codice, ma provarne la correttezza, per ogni possibile input, utilizzando prove matematiche formali scritte in parte da AI.
3 min read