Τι συμβαίνει όταν μια μαθηματική απόδειξη δεν είναι πλέον έργο ανθρώπου, αλλά ενός αλγορίθμου που κανείς δεν κατανοεί πλήρως; Ποιος φέρει τη...