Realmente não sei por que isso precisa ser dito, mas será que podemos parar de fingir que uma linha de prova matemática com bugs é inerentemente mais catastrófica do que uma linha de código com bugs? Claro. Alguns são. Eu apostaria (metaforicamente!!!) que a média dos artigos de matemática publicados tem > 0 bugs. Sem invalidar.