
0/ À medida que os sistemas de IA se tornam mais poderosos, a verificação formal – que é a disciplina de usar matemática para provar a correção de programas de computador – mostra cada vez mais potencial. Um thread convidado por @big_tech_sux, desenvolvedor principal do @vyperlang 🧵 https://t.co/3T6H76AVrL
