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 sitting at the very edge of what we know about primes. The real prize is what this means for the safety of AI-written code.
4 min read
AI Security
Microsoft está usando agentes de IA para demostrar matemáticamente que su código de encriptación no tiene defectos
El equipo detrás de la biblioteca criptográfica de Windows y Azure no solo está probando el código. Lo están demostrando como correcto, para cada posible entrada, utilizando pruebas matemáticas formales escritas parcialmente por IA.
3 min read