Η OpenAI ισχυρίζεται ότι η τεχνητή νοημοσύνη έλυσε πάνω από 100 μαθηματικά προβλήματα χωρίς να προσκομίσει αποδείξεις

Η OpenAI ανακοίνωσε στις 21 Σεπτεμβρίου ότι ένα ανώνυμο εσωτερικό μοντέλο, το οποίο ξεκίνησε την εκπαίδευσή του στις 28 Αυγούστου, έχει επιλύσει περισσότερα από 100 μακροχρόνια ανοιχτά προβλήματα σε σχεδόν όλους τους τομείς των μαθηματικών, συμπεριλαμβανομένου του προβλήματος Navier-Stokes, ενός από τα Προβλήματα της Χιλιετίας. Η εταιρεία δεν δημοσίευσε αποδείξεις, ούτε αναλυτική λίστα προβλημάτων, ούτε εξωτερική επαλήθευση, αφήνοντας ολόκληρο τον ισχυρισμό να βασίζεται αποκλειστικά στον λόγο της.chosun+1

Παράλληλα με την ανακοίνωση, η OpenAI αποκάλυψε τον σχηματισμό μιας Συμβουλευτικής Ομάδας για τα Μαθηματικά και την Τεχνητή Νοημοσύνη, η οποία φιλοξενείται στο Institute for Advanced Study στο Πρίνστον, με σκοπό την αξιολόγηση των αναδυόμενων μαθηματικών αποτελεσμάτων από συστήματα τεχνητής νοημοσύνης προτού θεωρηθούν οριστικά.the-decoder+1

Ένας ισχυρισμός ορόσημο χωρίς τεκμηρίωση

Το πρόβλημα ύπαρξης και ομαλότητας των Navier-Stokes είναι ένα από τα επτά Προβλήματα της Χιλιετίας που καθιερώθηκαν από το Clay Mathematics Institute το 2000, με το καθένα να συνοδεύεται από βραβείο 1 εκατομμυρίου δολαρίων. Οι εξισώσεις περιγράφουν την κίνηση των ρευστών και χρησιμοποιούνται καθημερινά στη φυσική και τη μηχανική, ωστόσο τα μαθηματικά τους θεμέλια παραμένουν ελάχιστα κατανοητά.npr

Η OpenAI ισχυρίστηκε αρχικά στις 8 Σεπτεμβρίου ότι η τεχνητή νοημοσύνη της έλυσε το πρόβλημα Navier-Stokes σε 88 ώρες χρησιμοποιώντας περίπου 10.000 πράκτορες τεχνητής νοημοσύνης. Η ανακοίνωση της 21ης Σεπτεμβρίου διεύρυνε σημαντικά το πεδίο, προσθέτοντας πάνω από 100 επιπλέον επιλυμένα προβλήματα και, σύμφωνα με το The Decoder, την υποτιθέμενη επίλυση ενός δεύτερου Προβλήματος της Χιλιετίας, της εικασίας Hodge.the-decoder+2

Μαθηματικοί που εξέτασαν το προηγούμενο χειρόγραφο 166 σελίδων για το Navier-Stokes αναφέρουν ότι η τυπική μορφοποίηση Lean μεταγλωττίζεται σωστά, υποδηλώνοντας ότι η απόδειξη είναι τεχνικά έγκυρη, αλλά το ίδιο το έγγραφο παραμένει σχεδόν ακατάληπτο. "Το έγγραφο δεν είναι γραμμένο για ανθρώπους", δήλωσε ο Javier Gómez-Serrano, μαθηματικός στο Πανεπιστήμιο Brown. Ο James Maynard από το Πανεπιστήμιο της Οξφόρδης πρόσθεσε ότι "ήταν πολύ δύσκολο να εξαχθεί οποιαδήποτε ανθρώπινη κατανόηση από αυτή τη νέα απόδειξη της τεχνητής νοημοσύνης".npr

Διαμάχη για τη βιασύνη δημοσίευσης

Το περιστατικό προκάλεσε έντονη κριτική από την κοινότητα των μαθηματικών. Είκοσι πέντε νικητές του Fields Medal, συμπεριλαμβανομένων των Terence Tao και June Huh, δημοσίευσαν μια ανοιχτή επιστολή στις 11 Σεπτεμβρίου με τίτλο "Μια σοβαρή αναντιστοιχία της τεχνητής νοημοσύνης στα μαθηματικά", προειδοποιώντας ότι η αντιμετώπιση της επίλυσης προβλημάτων ως δείκτη για συστήματα τεχνητής νοημοσύνης υπονομεύει την εννοιολογική κατανόηση που είναι κεντρικής σημασίας για τον κλάδο.the-decoder+1

Ο Tristan Buckmaster, μαθηματικός στο Πανεπιστήμιο της Νέας Υόρκης, ο οποίος πλησίαζε σε μια λύση για το Navier-Stokes με τον συνεργάτη του Levent Alpöge στην Anthropic, κατηγόρησε την OpenAI ότι έμαθε για την προσέγγισή τους και έσπευσε να δημοσιεύσει πρώτη. Σύμφωνα με τον Buckmaster, η OpenAI του πρότεινε να τον συμπεριλάβει στην εργασία της αν εγκατέλειπε τον Alpöge. "Υπάρχουν τόσες πολλές περιστασιακές ενδείξεις ότι είχαν πολύ μεγαλύτερη γνώση για το τι κάναμε από ό,τι άφησαν να εννοηθεί", δήλωσε ο Buckmaster στο NPR. Η OpenAI αρνήθηκε ότι χρησιμοποίησε το έργο τους.npr

Μια συμβουλευτική ομάδα με περιορισμούς

Η νέα συμβουλευτική ομάδα περιλαμβάνει εννέα μαθηματικούς, μεταξύ των οποίων τους νικητές του Fields Medal, Timothy Gowers και Martin Hairer, και λειτουργεί ανεξάρτητα χωρίς αμοιβή από την OpenAI. Τα μέλη μπορούν να προσφέρουν μη ζητηθείσες συμβουλές και να δημοσιεύουν τις συστάσεις τους.mixed-news+1

Ωστόσο, η ομάδα έχει έναν ενσωματωμένο περιορισμό: δεν έχει καμία εξουσία σχετικά με το πόσο γρήγορα η OpenAI επιδιώκει νέα ευρήματα. "Σημαντικό είναι ότι η ομάδα δεν θα είναι υπεύθυνη για να μας συμβουλεύει σχετικά με τον ρυθμό της εσωτερικής μας προόδου στα μαθηματικά", έγραψε η OpenAI.the-decoder+1

Το Clay Mathematics Institute, το οποίο έχει απονείμει μόνο ένα Βραβείο της Χιλιετίας στην ιστορία του, σημείωσε σε δήλωση της 11ης Σεπτεμβρίου ότι η διαδικασία αξιολόγησής του είναι "εσκεμμένα χωρίς βιασύνη", απαιτώντας δημοσίευση σε έγκριτο περιοδικό και τουλάχιστον δύο χρόνια γενικής αποδοχής πριν εξεταστεί οποιοδήποτε βραβείο. Κανένα από τα αποτελέσματα που ισχυρίζεται η OpenAI δεν έχει δημοσιευτεί, πράγμα που σημαίνει ότι αυτό το χρονόμετρο δεν έχει ξεκινήσει.mixed-news