
0/ A medida que los sistemas de IA se vuelven más potentes, la verificación formal, que es la disciplina de usar matemáticas para demostrar que los programas informáticos son correctos, muestra cada vez más potencial. Un hilo invitado de @big_tech_sux, desarrollador principal de @vyperlang 🧵 https://t.co/3T6H76AVrL
