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 использует AI-агентов для математического доказательства отсутствия ошибок в коде шифрования
Команда, стоящая за криптографической библиотекой Windows и Azure, делает что-то необычное: не просто тестирует код, но доказывает его корректность для каждого возможного входа, используя формальные математические доказательства, частично написанные AI.
3 min read