Un paio di settimane fa Paolo Marino mi ha segnalato questo articolo in cui Sir Andrew Wiles (quello della dimostrazione dell’Ultimo teorema di Fermat, per chi non se lo ricordasse) parla di come lui vede le dimostrazioni di teoremi fatte al computer. Senza volere certo paragonarmi a Wiles, provo a raccontare come la penso io. Vi anticipo subito che non dirò nulla di definitivo o troppo specifico.