And I'm optimistic that AI will revolutionize automatic proving business and also revolutionize program synthesis, the ability to automatically write really good code.
Y tengo esperanzas de que la IA revolucionará el negocio de las pruebas automáticas, al igual que la síntesis de programas, es decir, la capacidad de escribir automáticamente código realmente bueno.