Διακήρυξη του Λέιντεν: οι μαθηματικοί χαράζουν κόκκινες γραμμές στην AI
Η Διεθνής Μαθηματική Ένωση στηρίζει ένα ευρωπαϊκής έμπνευσης κάλεσμα: διαφάνεια, ανθρώπινη ευθύνη και δημόσιες υποδομές, ώστε η τεχνητή νοημοσύνη να μη μολύνει την επιστήμη με λάθος αποτελέσματα.
Μια ομάδα 16 ερευνητών δημοσίευσε στις 2 Ιουνίου τη «Διακήρυξη του Λέιντεν» για την τεχνητή νοημοσύνη και τα μαθηματικά. Μάλιστα, τη στήριξε δημόσια η Διεθνής Μαθηματική Ένωση (IMU), ο φορέας πίσω από το βραβείο Φιλντς. Το κείμενο προέκυψε στο Λέιντεν της Ολλανδίας, μετά από εργαστήριο τον Σεπτέμβριο του 2025. Στόχος του παραμένει σαφής: να προστατεύσει τις αξίες της επιστήμης από την ανεξέλεγκτη AI. Έτσι, για πρώτη φορά ένας ολόκληρος επιστημονικός κλάδος χαράζει συλλογικά όρια.
Τι ζητά η Διακήρυξη
Η Διακήρυξη δεν ζητά απαγόρευση της AI στα μαθηματικά. Αντίθετα, προτείνει καθαρούς κανόνες για τη χρήση της. Συγκεκριμένα, ζητά υποχρεωτική γνωστοποίηση κάθε χρήσης AI στην έρευνα. Επιπλέον, κρατά τον άνθρωπο υπεύθυνο για την ορθότητα των αποτελεσμάτων. Παράλληλα, απαιτεί σωστή απόδοση όταν τα μοντέλα πατούν πάνω σε δημοσιευμένο έργο. Τέλος, ζητά αυστηρότερη αξιολόγηση από ομοτίμους και νομική προστασία για τους συγγραφείς.
Ο φόβος: πειστικά αλλά άκυρα
Ο πυρήνας της ανησυχίας αφορά την αξιοπιστία. Τα σημερινά εργαλεία παράγουν αποδείξεις πειστικές, αλλά συχνά άκυρες. Μάλιστα, κανείς δεν τις επαληθεύει εύκολα. Έτσι, το βάρος πέφτει στην αξιολόγηση από ομοτίμους. Όπως προειδοποιεί η καθηγήτρια Λέσλι Αν Γκόλντμπεργκ, τα φθηνά αυτόματα προσχέδια κινδυνεύουν να γεμίσουν τη βιβλιογραφία με λάθος αποτελέσματα. Συνεπώς, η μόλυνση του αρχείου γνώσης πλήττει όλη την επιστήμη.
Η κόντρα με τη βιομηχανία
Η Διακήρυξη στρέφεται ευθέως στις εταιρείες τεχνολογίας. Συγκεκριμένα, επικρίνει την ανακοίνωση μαθηματικών ισχυρισμών με ρυθμούς που ορίζει η αγορά. Επιπλέον, καταγγέλλει ότι οι εταιρείες κρύβουν προτροπές, δεδομένα και λεπτομέρειες υπολογισμού. Καθώς οι εταιρείες εκπαιδεύουν τα μοντέλα και πάνω σε δημοσιευμένα μαθηματικά, οι συγγραφείς ζητούν συναίνεση και ίσους κανόνες. Ωστόσο, η ένταση δεν μένει θεωρητική. Πέρυσι, μοντέλα AI κέρδισαν χρυσό στη Διεθνή Μαθηματική Ολυμπιάδα και έλυσαν προβλήματα δεκαετιών.
Η ευρωπαϊκή σφραγίδα
Η Διακήρυξη φέρει έντονη ευρωπαϊκή σφραγίδα. Προέκυψε στο Λέιντεν, με συντονιστή ερευνητή από το Άιντχόβεν. Επιπλέον, την υπέγραψαν ερευνητές από Οξφόρδη, Κέιμπριτζ και ETH Ζυρίχης. Μάλιστα, την προσυπέγραψε ο κάτοχος βραβείου Φιλντς Πίτερ Σόλτσε. Ένα κρίσιμο αίτημα δένει απόλυτα με την ΕΕ: δημόσιες υποδομές υπολογισμού. Έτσι, η Ευρώπη που ζητά «δημόσιο compute» χτίζει ήδη την απάντηση, μέσω ευρωπαϊκών υπερυπολογιστών και κανόνων διαφάνειας.
Γιατί αφορά κάθε ερευνητή
Το διακύβευμα ξεπερνά τους μαθηματικούς. Καθώς η AI μπαίνει σε κάθε επιστήμη, το ίδιο ερώτημα επιστρέφει παντού. Ιδίως οι νέοι ερευνητές κινδυνεύουν, επειδή στηρίζουν τη σταδιοδρομία τους στην πρωτότυπη απόδειξη. Γι’ αυτό η Διακήρυξη ζητά καθαρή απόδοση και ανθρώπινη ευθύνη. Στη συνέχεια, οι συστάσεις περνούν σε συναντήσεις της IMU και στο Διεθνές Συνέδριο Μαθηματικών στη Φιλαδέλφεια.
Η μεγάλη εικόνα
Η μεγάλη εικόνα ξεχωρίζει για τη σημασία της. Για πρώτη φορά, μια ολόκληρη επιστήμη απαντά συλλογικά στην AI. Παρ’ όλα αυτά, η Διακήρυξη δεν κηρύσσει πόλεμο στην τεχνολογία. Αντίθετα, ζητά κανόνες, διαφάνεια και ανθρώπινη κρίση στο κέντρο. Μάλιστα, η ίδια η IMU παραδέχεται ότι δεν συμφωνούν όλοι με κάθε φράση. Ωστόσο, ακριβώς αυτή η συζήτηση δείχνει τι θέλει να προστατεύσει η κοινότητα. Τελικά, το ερώτημα μένει ανθρώπινο: ποιος εγγυάται ότι μια απόδειξη ισχύει.