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 nutzt KI-Agenten, um mathematisch zu beweisen, dass sein Verschlüsselungscode keine Fehler hat
Das Team hinter der Kryptografie-Bibliothek von Windows und Azure tut etwas Ungewöhnliches: Es testet nicht nur den Code, sondern beweist seine Korrektheit für jeden möglichen Input durch formale mathematische Beweise, die teilweise von KI geschrieben werden.
3 min read