Κανείς δεν το πρόσεξε, γιατί τα μισά δεν ελέγχονται
Ένα 15λεπτο ντοκιμαντέρ διακηρύσσει ότι η singularity έχει ήδη συμβεί. Πέρνα τους ισχυρισμούς του από ένα φίλτρο, «μπορώ να το επαληθεύσω;», και σπάει στα δύο: όσα είναι δημόσια καταγεγραμμένα (δημοσιευμένα δοκίμια, παραιτήσεις, δηλωμένες εκτιμήσεις κινδύνου, μια πραγματική τάση ΤΝ σε συνδυασμό με formal proof-checkers) και κινηματογραφικές λεπτομέρειες χωρίς πηγή που να ανοίγει.
Υπέρ
Είναι καθαρό δείγμα του πώς δουλεύει η κατασκευασμένη βεβαιότητα: αληθινά πράγματα δίπλα σε ανεπαλήθευτα, μέχρι η λάμψη του ελεγμένου να περάσει στο ανέλεγκτο.
Η ιδέα που κρύβει είναι γνήσια: ένας proof-checker μπορεί να πιστοποιήσει αποτέλεσμα που κανένας άνθρωπος δεν ανακατασκευάζει. Επαλήθευση χωρίς κατανόηση, πραγματική μετατόπιση.
Προσοχή
Το βίντεο υμνεί τη μηχανικά επαληθευμένη αλήθεια ενώ σου ζητά να δεχτείς τους δικούς του ισχυρισμούς ανεπαλήθευτους.
Ονόματα μοντέλων, ονόματα προσώπων, ακριβή νούμερα: η ακρίβεια δεν είναι τεκμήριο, και είναι ό,τι πιο εύκολο να κατασκευαστεί.
Η γνώμη μαςΌταν κάτι φτάνει ήδη βέβαιο, ρώτα ποιο κομμάτι του θα μπορούσες πράγματι να ελέγξεις. Συνήθως πολύ λιγότερο απ' όσο υπονοεί η σιγουριά. Επαλήθευσε τη μηχανή, και επαλήθευσε και το βίντεο για τη μηχανή.
