Un investigador que solo quería incorporar un resultado conocido a una biblioteca formal terminó encontrando un contraejemplo que desmontaba parte del teorema original. El caso ya ha forzado una corrección, pero también ha puesto sobre la mesa algo más grande: cómo se valida realmente el conocimiento en física.