AlphaProof Code: o que muda quando a IA verifica programas com raciocínio formal
A Google DeepMind apresentou o AlphaProof Code como uma linha de pesquisa para raciocínio e verificação de código. Entenda o conceito, o que ele pode ensinar a desenvolvedores e por que verificação formal não e o mesmo que testar uma aplicação.