Μια πρωτοφανής κίνηση από την OpenAI έχει προκαλέσει αναταραχή στη διεθνή μαθηματική κοινότητα. Στις 6 Οκτωβρίου, η εταιρεία δημοσίευσε μέσω του GitHub 722 επιστημονικές εργασίες που αφορούν 372 ανοιχτά μαθηματικά προβλήματα. Η μαζική αυτή παραγωγή, η οποία πραγματοποιήθηκε από ένα προηγμένο εσωτερικό μοντέλο τεχνητής νοημοσύνης που δεν είναι ακόμη διαθέσιμο στο κοινό, χαρακτηρίστηκε από ορισμένους επιστήμονες ως «Mathocalypse».
Από την Υπόθεση Ρίμαν στα Προβλήματα του Ενός Εκατομμυρίου
Η δημοσίευση περιλαμβάνει ισχυρισμούς για πρόοδο σε μερικά από τα δυσκολότερα αινίγματα της επιστήμης, όπως η υπόθεση Ρίμαν και η εικασία Birch–Swinnerton-Dyer. Τα προβλήματα αυτά ανήκουν στα επτά Millennium Prize Problems του Clay Mathematics Institute, καθένα από τα οποία συνοδεύεται από έπαθλο 1 εκατομμυρίου δολαρίων. Παρά τον ενθουσιασμό, οι ειδικοί υπογραμμίζουν ότι μια μαθηματική απόδειξη απαιτεί σχολαστικό έλεγχο από ανεξάρτητους ερευνητές, μια διαδικασία που μπορεί να διαρκέσει χρόνια.
Αμφισβητήσεις, Λάθη και Ανακλήσεις
Η ταχύτητα παραγωγής των εργασιών έχει εγείρει σοβαρά ερωτήματα σχετικά με την ποιότητά τους. Ήδη τρεις εργασίες αποσύρθηκαν λόγω στοιχειωδών σφαλμάτων, ενώ άλλες τροποποιήθηκαν μετά τον εντοπισμό προβλημάτων εγκυρότητας. Πολλοί μαθηματικοί επισημαίνουν ότι ορισμένα κείμενα είναι τόσο δυσνόητα που η αξιολόγησή τους καθίσταται σχεδόν αδύνατη από ανθρώπους.
Για την αντιμετώπιση της δυσπιστίας, η OpenAI στρέφεται σε συστήματα τυπικής επαλήθευσης όπως το Lean, το οποίο μετατρέπει τις αποδείξεις σε κώδικα που μπορεί να ελέγξει ένας υπολογιστής. Ωστόσο, ακόμη και αυτή η μέθοδος δεν θεωρείται αλάθητη, καθώς η ίδια η διαδικασία μετατροπής μπορεί να περιέχει σφάλματα.
Ηθικά Διλήμματα και ο Δρόμος προς την AGI
Η κίνηση αυτή έρχεται σε συνέχεια της διαμάχης για το πρόβλημα Navier–Stokes, όπου οι ερευνητές Tristan Buckmaster και Levent Alpöge κατηγόρησαν την OpenAI για χρήση δικών τους δεδομένων και ιδεών χωρίς επαρκή αναγνώριση. Η εταιρεία αρνείται τις κατηγορίες, όμως το ζήτημα της πνευματικής ιδιοκτησίας στην εποχή της AI παραμένει φλέγον.
Πέρα από την επιστήμη, η ικανότητα της AI να λύνει σύνθετα μαθηματικά προβλήματα θεωρείται ορόσημο για την επίτευξη της Γενικής Τεχνητής Νοημοσύνης (AGI). Με την αποτίμηση της εταιρείας να αγγίζει ενδεχομένως το 1,4 τρισ. δολάρια, η κυριαρχία στα μαθηματικά δεν είναι μόνο επιστημονικό στοίχημα, αλλά και οικονομικό.
