Terence Tao: La verificación formal rompe la barrera de confianza en las matemáticas La verificación formal está transformando las colaboraciones matemáticas: permite contribuciones anónimas, pruebas verificadas por máquina y una discusión científica radicalmente más precisa.