Τι συμβαίνει όταν μια μαθηματική απόδειξη δεν είναι πλέον έργο ανθρώπου, αλλά ενός αλγορίθμου που κανείς δεν κατανοεί πλήρως; Ποιος φέρει την ευθύνη για τα λάθη και ποιος παίρνει τα εύσημα για τα σωστά αποτελέσματα; Αυτά τα ερωτήματα δεν αποτελούν πλέον υποθετικά σενάρια, αλλά πραγματικά διλήμματα που αντιμετωπίζει η παγκόσμια επιστημονική κοινότητα.
Στη «Διακήρυξη του Λέιντεν», μια διεθνής ομάδα δεκαέξι ερευνητών από δεκαπέντε πανεπιστήμια προειδοποιεί ότι η τεχνητή νοημοσύνη (AI) απειλεί τις θεμελιώδεις αξίες των μαθηματικών, καταθέτοντας παράλληλα μια πρόταση για το πώς πρέπει να προχωρήσει ο κλάδος. Η διακήρυξη συντάχθηκε στο Πανεπιστήμιο του Λέιντεν (το παλαιότερο πανεπιστήμιο των Κάτω Χωρών) με κύριους συντάκτες τους Ροντρίγκο Οτσιγκάμε και Ντέιβιντ Χολμς, και έχει ήδη υπογραφεί από χιλιάδες επιστήμονες ανά τον κόσμο.
Τι επιδιώκει η Διακήρυξη του Λέιντεν
Η διακήρυξη δεν ζητά την απαγόρευση της τεχνητής νοημοσύνης στα μαθηματικά. Καθώς οι επιστήμονες τη χρησιμοποιούν ήδη για γλωσσική επιμέλεια, σύνταξη άρθρων και κατάρτιση αποδείξεων, ο στόχος είναι η θέσπιση σαφών προτύπων ώστε η τεχνολογία να ωφελήσει τον κλάδο αντί να του προκαλέσει ανεπανόρθωτη ζημιά.
Η Διεθνής Μαθηματική Ένωση (IMU) υποστηρίζει επίσημα τη δήλωση, με την αντιπρόεδρό της, Ulrike Tillmann, να τονίζει ότι το μέλλον της μαθηματικής έρευνας πρέπει να καθοδηγείται από την ανθρώπινη κρίση, τις δίκαιες και διαφανείς πρακτικές: «Τα μαθηματικά είναι, και πρέπει πάντα να παραμείνουν, ένα βαθιά ανθρώπινο εγχείρημα».
Οι 5 μεγάλες απειλές της AI για τα μαθηματικά
Η διακήρυξη χαρτογραφεί πέντε κρίσιμους κινδύνους:
Αναξιόπιστα αποτελέσματα: Η AI μπορεί να παράγει «αποδείξεις» που φαίνονται εξαιρετικά πειστικές, αλλά κρύβουν ανεπαίσθητα, δυσδιάκριτα λάθη, υπονομεύοντας την αυστηρότητα των μαθηματικών.
Ανεπαρκής αναφορά πηγών: Τα μοντέλα συχνά παρουσιάζουν αποτελέσματα χωρίς να αναφέρουν το ανθρώπινο έργο στο οποίο βασίστηκαν, εγείροντας ζητήματα πνευματικής ιδιοκτησίας.
Εξάρτηση και ανισότητα: Υπάρχει κίνδυνος οι ερευνητές να καταστούν εξαρτημένοι από πανάκριβους υπολογιστικούς πόρους και ιδιόκτητες τεχνολογίες AI, δημιουργώντας επιστήμονες δύο ταχυτήτων.
Υπερβολικός ενθουσιασμός (Hype): Δελτία τύπου και blogs συχνά ανακοινώνουν επιτεύγματα της AI χωρίς προηγούμενη επιστημονική αξιολόγηση, οδηγώντας σε υπερεκτίμηση των δυνατοτήτων της και υποτίμηση του ανθρώπινου παράγοντα.
Απώλεια αυτονομίας: Αν η έρευνα αρχίσει να καθοδηγείται από εμπορικά συμφέροντα ή την τεχνική σκοπιμότητα των εργαλείων, τα μαθηματικά κινδυνεύουν να χάσουν την αυτονομία τους.
«Η ευθύνη πρέπει να παραμείνει ανθρώπινη»
Στο ίδιο μήκος κύματος κινείται και ο Τσέχος μαθηματικός Vítězslav Kala από το Πανεπιστήμιο Καρόλου, ο οποίος συνυπέγραψε τη διακήρυξη. Σε συνέντευξή του, εξέφρασε την ανησυχία του για τον κίνδυνο να κατακλυστούν τα μαθηματικά από μια τεχνολογία που απέχει πολύ από το να είναι άψογη, παράγοντας θεωρίες που στην πραγματικότητα είναι εντελώς λανθασμένες.
«Είναι απαραίτητο να διατηρηθούν οι παραδοσιακές μορφές δημοσίευσης και αξιολόγησης, συμπεριλαμβανομένης της ευθύνης των ανθρώπινων συγγραφέων για την ορθότητά τους», σημειώνει ο Kala.
Παράλληλα, αναγνωρίζει τη χρησιμότητα της AI, αναφέροντας ως παράδειγμα την πρόσφατη επιτυχία της OpenAI στη λύση ενός σημαντικού προβλήματος του θρυλικού μαθηματικού Πολ Έρντος σχετικά με τις αποστάσεις σημείων στο επίπεδο. Ο ίδιος χρησιμοποιεί την AI βοηθητικά για μικρότερα αποτελέσματα ή συνόψεις της βιβλιογραφίας, επισημαίνοντας ότι με υπεύθυνη χρήση μπορεί να προσφέρει πολλά.
Ωστόσο, το μεγάλο αγκάθι παραμένει η ταχύτητα των εξελίξεων. Όπως καταλήγει ο Kala, η κατάσταση είναι τόσο περίπλοκη που ακόμη και αν βρεθεί μια σωστή λύση ή ένα πλαίσιο κανόνων σήμερα, η ραγδαία πρόοδος της τεχνητής νοημοσύνης μπορεί να την καταστήσει εντελώς ξεπερασμένη μέσα σε λίγους μήνες.
Πηγή: Διακήρυξη του Λέιντεν / Συνέντευξη του Vítězslav Kala στο ČT24
