Etiqueta: verificación automatizada

Un lenguaje de programación diseñado para verificar teoremas matemáticos ha encontrado una falla en un artículo de física, cuestionando la fiabilidad de otras investigaciones.