Ένα φιλοσοφικό δοκίμιο που υποστηρίζει ότι η μαθηματική ανακάλυψη που βασίζεται στην τεχνητή νοημοσύνη δεν χρειάζεται να μειώσει την αξία μιας ανθρώπινης μαθηματικής ζωής έχει τραβήξει την προσοχή αφού εμφανίστηκε στο blog του Terence Tao, του μαθηματικού του UCLA που θεωρείται ευρέως ως ένας από τους καλύτερους εν ζωή μαθηματικούς. Τα "Μαθηματικά χωρίς Εγώ στην εποχή της τεχνητής νοημοσύνης", που δημοσιεύτηκε στις 2 Νοεμβρίου, είναι μια προσκεκλημένη ανάρτηση από τους επιστήμονες υπολογιστών Karthik C. S., Amit Sahai και Jie Xue — με τον Tao να σημειώνει ότι μετέτρεψε το κείμενο για δημοσίευση χρησιμοποιώντας AI. Το δοκίμιο ανέβηκε γρήγορα στο Hacker News, όπου οι αναγνώστες συζήτησαν τον κεντρικό του ισχυρισμό: ότι τα μαθηματικά ήταν όμορφα πριν γεννηθεί κάποιος από εμάς και η αξία τους δεν εξαρτάται από το ποιος κάνει τις ανακαλύψεις.
Το κομμάτι φτάνει σε μια στιγμή που η μηχανική βοήθεια στα μαθηματικά έχει περάσει από την καινοτομία στην υποδομή. Επίσημες αποδείξεις που επαληθεύτηκαν με τη βοήθεια της τεχνητής νοημοσύνης, των εικασιών που δημιουργούνται από μηχανή και των συστημάτων τεχνητής νοημοσύνης που συμβάλλουν σε αποτελέσματα ερευνητικού επιπέδου, ανάγκασαν τους εργαζόμενους μαθηματικούς να ρωτήσουν όχι μόνο τι μπορούν να κάνουν οι μηχανές, αλλά τι απομένει από το επάγγελμα εάν η απάντηση είναι "το μεγαλύτερο μέρος του". Η απάντηση του δοκιμίου είναι ασυνήθιστη μεταξύ των προσπαθειών για τις [έκτακτες ειδήσεις AI] (https://aibuzzwire.news) αυτή τη σεζόν: αντί να υπερασπίζεται την ανθρώπινη σημασία έναντι των μηχανών, υποστηρίζει την πλήρη εγκατάλειψη αυτού του διαγωνισμού.
Δύο όψεις των μαθηματικών, ένα σημείο πίεσης
Οι συγγραφείς ξεκινούν από την παλαιότερη διάσπαση στη φιλοσοφία των μαθηματικών: είτε οι μαθηματικοί επινοούν το θέμα τους - εισάγοντας έννοιες, επιλέγοντας αξιώματα, χτίζοντας θεωρίες - είτε ανακαλύπτουν αλήθειες που υπάρχουν ανεξάρτητα από αυτές. Η πλατωνική άποψη, γράφουν, δίνει μια φυσική περιγραφή αυτής της ανεξαρτησίας: «υπήρχαν άπειροι πρώτοι προτού αποδείξει κανείς αυτό το γεγονός». Η μαθηματική αλήθεια ούτε περιμένει την αναγνώρισή μας ούτε λαμβάνει την εξουσία της από αυτήν.
Η ανακάλυψη, προειδοποιούν, δεν είναι παθητικότητα. Ένας παλαιοντολόγος που ψάχνει για απολιθώματα πρέπει να αποφασίσει πού θα ανασκάψει, να αναπτύξει τεχνικές και να αναγνωρίσει τη σημασία των ημιτελών υπολειμμάτων. Ομοίως, μια μαθηματική ανακάλυψη μπορεί να απαιτεί την εφεύρεση μιας ολόκληρης γλώσσας και πλαισίου μέσω του οποίου μια προηγουμένως αόρατη δομή γίνεται ορατή. Οι αλήθειες προηγούνται. οι διαδρομές προς αυτά είναι ανθρώπινες μέχρι κάτω.
Από αυτό το θεμέλιο το δοκίμιο χτίζει το σημείο πίεσης του: μια σωστή παραγωγή δεν είναι το ίδιο με την κατανόηση της σημασίας του. Ένα αξιωματικό σύστημα επιτρέπει επ' αόριστον πολλές εκπτώσεις, αλλά η ικανότητα παραγωγής τους δεν παρέχει αξιόλογες κατευθύνσεις διερεύνησης. «Οι μαθηματικές δηλώσεις μπορεί να είναι τυπικά σωστές χωρίς να είναι διαφωτιστικές», γράφουν οι συγγραφείς. "Μπορούμε να εισαγάγουμε αμέτρητους ορισμούς και να αποδείξουμε αμέτρητες δηλώσεις για αυτούς. Τι κάνει έναν ορισμό διαφωτιστικό;" Είναι ακριβώς το ερώτημα που εμφανίζεται κάθε φορά που ένα σύστημα τεχνητής νοημοσύνης κατακλύζει ένα επίσημο αποθετήριο με έγκυρα αλλά χωρίς κίνητρα αποτελέσματα.
Η παγίδα του καθορισμού της αξίας από τη μηχανή
Το πιο αιχμηρό επιχείρημα του δοκιμίου στοχεύει σε μια κίνηση που είναι κοινή στην τρέχουσα συζήτηση της τεχνητής νοημοσύνης: την προστασία της ανθρώπινης αξίας υποχωρώντας σε ό,τι οι μηχανές δεν μπορούν ακόμη να κάνουν. «Η απάντηση δεν μπορεί να είναι απλώς η αναζήτηση καταφυγίου σε ξεχωριστές ανθρώπινες ικανότητες όπως η δημιουργικότητα, η διαίσθηση ή το γούστο», υποστηρίζουν οι συγγραφείς. "Αν εκτιμούμε αυτές τις ικανότητες κυρίως επειδή μας δίνουν πλεονέκτημα έναντι των μηχανών, παραμένουμε παγιδευμένοι στην ίδια αντίληψη της πνευματικής αξίας. Γιατί να εξαρτάται η αξία της επιδίωξής μας από το να είμαστε καλύτεροι σε αυτήν από κάποιον ή κάτι άλλο;"
Επεκτείνουν την κριτική στη δομή κινήτρων της ίδιας της ακαδημαϊκής ζωής. Οι δημοσιεύσεις, οι αναφορές και τα βραβεία είναι χρήσιμοι δείκτες, παραδέχονται οι συγγραφείς, αλλά γίνονται παθολογικά όταν καθορίζουν την αξία του έργου. Μετρημένο με αυτόν τον τρόπο, οι μαθηματικοί γίνονται συλλογές παραγωγικών ικανοτήτων και τα μαθηματικά γίνονται το προϊόν τους - ένα πλαίσιο στο οποίο μια μηχανή που παράγει περισσότερο από έναν άνθρωπο απλώς κερδίζει. Το δοκίμιο προτείνει την εναλλακτική που ονομάζει στον τίτλο του: μαθηματικά χωρίς εγώ, μια πρακτική στην οποία η αξία πηγάζει από την επαφή με την αλήθεια και όχι από την υπεροχή στην παραγωγή της.
Σύμφωνα με αυτήν την άποψη, οι ανακαλύψεις που έγιναν από την τεχνητή νοημοσύνη δεν γίνονται αφορμή ούτε για θλίψη ούτε για άγχος για την κατάσταση. «Μια αλήθεια έχει γίνει προσιτή· η αξία της δεν μειώνεται από την απουσία της συγγραφής μας», γράφουν οι συγγραφείς. Προσφέρουν ακόμη και το δοκίμιο ως συνθήκη ειρήνης μεταξύ των δύο στρατοπέδων, χωρίζοντας τώρα πολλά τμήματα μαθηματικών - αυτά που ενθουσιάζονται με τα εργαλεία τεχνητής νοημοσύνης και αυτά που απέχουν επί της αρχής - προτείνοντας και τα δύο να αντικατοπτρίζουν την ίδια υποκείμενη δέσμευση για τα ίδια τα μαθηματικά.
Ένα πείραμα σκέψης Ramanujan για να κλείσει
Το δοκίμιο κλείνει με ένα πείραμα σκέψης που αντλείται από τη μαθηματική ιστορία. Ο Ramanujan φέρεται να είπε: «Μια εξίσωση δεν έχει νόημα για μένα εκτός αν εκφράζει μια σκέψη του Θεού» — μια γραμμή που αναφέρουν οι συγγραφείς από τη βιογραφία του Robert Kanigel το 1991 «The Man Who Knew Infinity» (δημοσιεύτηκε το 1991, που αναφέρεται στην ανάρτησή τους από την έκδοση του 1992). Αν ζούσε σήμερα, παρακολουθώντας τις προόδους της τεχνητής νοημοσύνης στα μαθηματικά, θα τον ενοχλούσε τι μπορεί να σημαίνουν για τον σκοπό του ως μαθηματικός;
Οι συγγραφείς είναι ειλικρινείς για τη θέση τους. «Εμείς, οι συγγραφείς αυτού του δοκιμίου, απέχουμε ακόμη πολύ από το να έχουμε φτάσει σε τέτοια έλλειψη εγωισμού», παραδέχονται, περιγράφοντας το ιδανικό του δοκιμίου ως ένα προς το οποίο επιθυμούν να αγωνιστούν. Και προσδοκούν την προφανή αντίρρηση - ότι όλα αυτά μοιάζουν σαν να ζητάμε από μαθηματικούς να γίνουν άγιοι. «Εφόσον μας ζητά να αναπτυχθούμε στην αρετή και να εγκαταλείψουμε την προσκόλληση στη δική μας σημασία, αυτή η εντύπωση δεν απέχει πολύ από την αλήθεια», γράφουν, υποστηρίζοντας ότι η χαρά της κατανόησης είναι πιο ανθεκτική από την ικανοποίηση της κατάταξης πάνω από τους αντιπάλους.
Το αν το επιχείρημα πείθει τους εργαζόμενους μαθηματικούς είναι μια ξεχωριστή ερώτηση - τα νήματα σχολίων στο δοκίμιο δείχνουν πολλούς σκεπτικιστές που πιστεύουν ότι τα οικονομικά της ακαδημαϊκής σταδιοδρομίας κάνουν τη φιλοσοφία πολυτέλεια. Αλλά ως ντοκουμέντο της στιγμής, αποτυπώνει κάτι πραγματικό: τα πεδία που βρίσκονται πλησιέστερα στην πρόοδο της τεχνητής νοημοσύνης είναι αυτά που αναγκάζονται περισσότερο να διατυπώσουν γιατί έχει σημασία η δουλειά τους και μια από τις πιο δημοφιλείς φωνές των μαθηματικών έχει πλέον δώσει την πλατφόρμα του σε μια απάντηση που δεν αναφέρει σημεία αναφοράς, παραγωγικότητα ή εθνικό ανταγωνισμό ούτε μία φορά.
---
Μείνετε μπροστά από την τεχνητή νοημοσύνηΛάβετε τα τελευταία νέα, αναλύσεις και ανακαλύψεις AI — όλα σε ένα μέρος.
Διαβάστε περισσότερα νέα AI →
