Terence Tao: La verificación formal rompe la barrera de confianza en matemáticas La verificación formal está transformando las colaboraciones matemáticas — permitiendo contribuciones anónimas, pruebas verificadas por máquina y debates científicos radicalmente más precisos.