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
A Microsoft está a usar Agentes de IA para Provar Matematicamente que o seu Código de Encriptação Não Tem Falhas
A equipa responsável pela biblioteca de criptografia do Windows e Azure está a fazer algo invulgar: não apenas testar o código, mas prová-lo correto, para todas as entradas possíveis, usando provas matemáticas formais escritas parcialmente por IA.
3 min read