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 utilise des agents IA pour prouver mathématiquement que son code de chiffrement n'a aucun défaut
L'équipe derrière la bibliothèque de cryptographie de Windows et Azure fait quelque chose d'inhabituel : non seulement tester le code, mais prouver qu'il est correct, pour chaque entrée possible, en utilisant des preuves mathématiques formelles rédigées en partie par l'IA.
3 min read