Μαθηματικοί χαρακτηρίζουν «ακατάληπτη» την απόδειξη που παρήγαγε η τεχνητή νοημοσύνη της OpenAI

Η OpenAI ανακοίνωσε τη Δευτέρα, 21 Σεπτεμβρίου, ότι συνεργάζεται με μια ανεξάρτητη Συμβουλευτική Ομάδα για τα Μαθηματικά και την Τεχνητή Νοημοσύνη, η οποία θα εδρεύει στο Institute for Advanced Study του Πρίνστον, μετά τον σάλο που προκλήθηκε από μια αμφιλεγόμενη και σε μεγάλο βαθμό ακατάληπτη απόδειξη για το πρόβλημα Navier-Stokes, ένα από τα Προβλήματα της Χιλιετίας.openai+1

Μια απόδειξη που κανείς δεν μπορεί να διαβάσει

Νωρίτερα αυτόν τον μήνα, η OpenAI αποκάλυψε ότι 10.000 πράκτορες τεχνητής νοημοσύνης, εργαζόμενοι για 88 ώρες, παρήγαγαν μια απόδειξη 166 σελίδων που δείχνει ότι τα ρευστά, όπως περιγράφονται από τις εξισώσεις Navier-Stokes, μπορούν να αναπτύξουν ιδιομορφία σε πεπερασμένο χρόνο. Πρόκειται για ένα αποτέλεσμα που, αν επαληθευτεί, θα επιλύσει ένα από τα έξι εναπομείναντα Προβλήματα της Χιλιετίας που έθεσε το Ινστιτούτο Μαθηματικών Clay. Οι μαθηματικοί αποδέχονται σε γενικές γραμμές την απόδειξη ως τεχνικά ορθή, εν μέρει επειδή συνοδεύεται από επίσημη επαλήθευση στη γλώσσα προγραμματισμού Lean. Ωστόσο, η κατανόηση του αποτελέσματος από τον άνθρωπο παραμένει ανέφικτη.openai+2

«Μέχρι στιγμής είναι πολύ δύσκολο να αντλήσει κανείς πραγματική ανθρώπινη κατανόηση από αυτή τη νέα απόδειξη της τεχνητής νοημοσύνης», δήλωσε στο NPR ο James Maynard, μαθηματικός στο Πανεπιστήμιο της Οξφόρδης. «Το έγγραφο δεν είναι γραμμένο για ανθρώπους», συμφώνησε ο Javier Gómez-Serrano, μαθηματικός στο Πανεπιστήμιο Brown, ο οποίος σημείωσε ότι η απόδειξη θα μπορούσε να βοηθήσει τον τομέα μετά από «σοβαρή αναδιατύπωση», αλλά «προς το παρόν, το έγγραφο δεν μας διδάσκει πολλά».nprillinois

Η ανακοίνωση προκάλεσε επίσης διαμάχη σχετικά με την απόδοση της πατρότητας της έρευνας. Ο μαθηματικός του NYU, Tristan Buckmaster, κατηγόρησε την OpenAI ότι βασίστηκε σε δική του αδημοσίευτη έρευνα χωρίς να τον αναφέρει, ισχυριζόμενος ότι η εταιρεία προσφέρθηκε να τον συμπεριλάβει ως συγγραφέα μόνο αν απέκλειε τον συνεργάτη του, Levent Alpöge, ο οποίος εργάζεται στην Anthropic. Η OpenAI αρνήθηκε ότι χρησιμοποίησε το έργο του Buckmaster, αλλά παραδέχτηκε ότι «δεν μπορεί να αποκλείσει το ενδεχόμενο ανώνυμα δεδομένα που προέκυψαν από τη χρήση των προϊόντων μας να βοήθησαν στη βελτίωση των μοντέλων μας».futurism+2

Μια επίλεκτη συμβουλευτική επιτροπή

Η νέα εννεαμελής ομάδα περιλαμβάνει πολλούς κατόχους του Fields Medal και ακαδημαϊκούς από το Στάνφορντ, το Χάρβαρντ, την Οξφόρδη, το Κέιμπριτζ και άλλα κορυφαία ιδρύματα. Τα μέλη δεν θα αμείβονται από την OpenAI και θα μπορούν να σχολιάζουν δημόσια τον αντίκτυπο της εταιρείας στα μαθηματικά, να προσφέρουν συμβουλές και να ελέγχουν τη δική τους σύνθεση.theverge+2

«Η αξία της εξαρτάται από την ικανότητα των μελών της να ασκούν τη δική τους κρίση και να αμφισβητούν τη δική μας», ανέφερε η OpenAI σε ανάρτηση στο ιστολόγιό της. Ωστόσο, η εταιρεία κατέστησε σαφές ότι η ομάδα «δεν θα είναι υπεύθυνη για να μας συμβουλεύει σχετικά με τον ρυθμό της εσωτερικής μας προόδου στα μαθηματικά».techcrunch+1

Ορισμένοι μαθηματικοί αμφισβήτησαν αν η επιτροπή μπορεί πραγματικά να εκπροσωπήσει την ευρύτερη κοινότητα. «Μοιάζει με πύργο από ελεφαντόδοντο», δήλωσε ο Francesco Fournier-Facio, καθηγητής στο Πανεπιστήμιο Heriot-Watt. Ο Simon Machado, ερευνητής στο ETH Zurich, χαρακτήρισε τον σχηματισμό της επιτροπής «τυλιγμένο σε μυστήριο» και αμφισβήτησε τον τρόπο επιλογής των μελών.theverge

Τι ακολουθεί

Η πιο άμεση πρόκληση για την ομάδα ίσως είναι και η μεγαλύτερη. Παράλληλα με την ανακοίνωση της συμβουλευτικής επιτροπής, η OpenAI αποκάλυψε ότι το ίδιο αδημοσίευτο μοντέλο έχει «επιλύσει περισσότερα από 100 μακροχρόνια ανοιχτά προβλήματα στους περισσότερους τομείς των μαθηματικών». Η επιτροπή δήλωσε ότι ο συντονισμός της δημοσιοποίησης αυτών των αποτελεσμάτων αποτελεί την πρώτη της προτεραιότητα.indiatoday+2

Ο Martin Hairer, μέλος της επιτροπής και κάτοχος του Fields Medal, έγραψε σε ανάρτησή του ότι η ομάδα δημιουργήθηκε επειδή οι εταιρείες τεχνητής νοημοσύνης «παράγουν ορισμένα μαθηματικά αποτελέσματα υψηλού προφίλ», των οποίων η «δημοσίευση και διάδοση υπολείπεται κατά πολύ των αποδεκτών μαθηματικών πρακτικών». Προειδοποίησε ωστόσο ότι τα μέλη «θα ήταν πολύ αφελές να πιστεύουν ότι τα εργαστήρια τεχνητής νοημοσύνης δεν θα προσπαθήσουν να παρουσιάσουν όσα λέμε με τρόπο που εξυπηρετεί τη δική τους επικοινωνιακή στρατηγική».theverge