Non so davvero perché sia necessario dirlo, ma possiamo smettere di fingere che una riga di prova matematica con bug sia intrinsecamente più catastrofica di una riga di codice con bug? Certo. Alcune lo sono. Scommetterei (metaforicamente!!!!) che la maggior parte degli articoli matematici pubblicati ha > 0 bug. Senza invalidare.