Η OpenAI δημοσίευσε 722 μαθηματικές εργασίες από αδημοσίευτο μοντέλο τεχνητής νοημοσύνης

Την Τρίτη 6 Οκτωβρίου, η OpenAI ανάρτησε 722 μαθηματικά χειρόγραφα σε δημόσιο αποθετήριο στο GitHub, ταξινομημένα σε 372 οικογένειες αποτελεσμάτων. Η εταιρεία αναφέρει ότι παρήχθησαν από ένα αδημοσίευτο εσωτερικό μοντέλο αιχμής. Το Scientific American ανέφερε ότι το αποθετήριο τέθηκε σε λειτουργία στις 6 μ.μ. EDT. Οι μαθηματικοί αναμένεται να χρειαστούν μήνες για να εξετάσουν τα αποτελέσματα και να κρίνουν αν οι αποδείξεις περιέχουν νέες ιδέες ή αν απλώς ανασυνθέτουν υπάρχουσες τεχνικές.openai+2

Η δημοσιοποίηση έρχεται έναν μήνα αφότου η OpenAI ανακοίνωσε στις 8 Σεπτεμβρίου ότι το ίδιο εσωτερικό σύστημα απέδειξε πως οι τρισδιάστατες ροές Navier-Stokes μπορούν να αναπτύξουν ιδιομορφίες σε πεπερασμένο χρόνο. Το πρόβλημα αυτό αποτελεί ένα από τα Προβλήματα της Χιλιετίας του Ινστιτούτου Μαθηματικών Clay. Η ανακοίνωση για τις Navier-Stokes έχει προκαλέσει συνεχή κριτική σχετικά με την απόδοση εύσημων, τη διαφάνεια και την ταχύτητα με την οποία η εταιρεία δημοσιοποιεί τα αποτελέσματα.scientificamerican+2

Τι περιλαμβάνει το αποθετήριο

Οι οικογένειες καλύπτουν 17 επιστημονικούς κλάδους, με τη θεωρητική πληροφορική, τη συνδυαστική, την αλγεβρική γεωμετρία και τη θεωρία αριθμών να κατέχουν τις περισσότερες καταχωρίσεις. Ο κατάλογος περιλαμβάνει ισχυρισμούς για τον εκθέτη αρρητότητας του π, τις εικασίες του Mahler, την NP-σκληρότητα, τον ισομορφισμό παραγόντων ελεύθερων ομάδων και τις σχετικιστικές εξισώσεις Vlasov-Maxwell.interestingengineering+2

Η OpenAI δημοσίευσε επίσης τυποποιήσεις Lean για πολλές από τις αποδείξεις. Η Lean είναι μια γλώσσα προγραμματισμού που επιτρέπει σε έναν υπολογιστή να ελέγχει κάθε λογικό βήμα μιας απόδειξης. Ωστόσο, δεν έχουν τυποποιηθεί όλα τα χειρόγραφα. Το αρχείο README του αποθετηρίου προειδοποιεί ότι ορισμένα από τα μη τυποποιημένα αποτελέσματα "ενδέχεται να έχουν προβλήματα", ενώ το αρχείο καταγραφής τυποποίησης αναφέρει την κατάσταση ελέγχου ως "μη ελεγμένη".kingy+2

Η εταιρεία δήλωσε ότι το μοντέλο επιχείρησε να επιλύσει περίπου 4.000 προβλήματα κατά τη διάρκεια της αξιολόγησης. Ανέφερε ότι το μέσο αποτέλεσμα χρησιμοποίησε υπολογιστική ισχύ ισοδύναμη με "περίπου τρεις ώρες σκέψης του ChatGPT Pro". Περιλαμβάνονται δέκα συνοπτικές περιλήψεις της συλλογιστικής του μοντέλου. Η OpenAI δεν αποκάλυψε το συνολικό κόστος σε δολάρια, τον αριθμό των tokens ή το δημόσιο όνομα του μοντέλου.unite+2

Μερική συμμόρφωση με τις οδηγίες της συμβουλευτικής ομάδας

Η OpenAI δήλωσε ότι διαμόρφωσε τη δημοσιοποίηση χρησιμοποιώντας συμβουλές από την ανεξάρτητη Συμβουλευτική Ομάδα για τα Μαθηματικά και την Τεχνητή Νοημοσύνη, η οποία φιλοξενείται στο Institute for Advanced Study στο Πρίνστον του Νιου Τζέρσεϊ. Η ομάδα εξέδωσε συστάσεις στις 29 Σεπτεμβρίου, καλώντας τα εργαστήρια να δημοσιεύουν το όνομα του μοντέλου, τα prompts που χρησιμοποιήθηκαν και το υπολογιστικό κόστος για κάθε αποτέλεσμα, καθώς και να καταθέτουν τα αποτελέσματα σε αποθετήρια που δεν ελέγχονται από εργαστήρια τεχνητής νοημοσύνης. Η OpenAI δεν δημοσιοποίησε τα prompts ούτε τα στοιχεία υπολογιστικής ισχύος ανά αποτέλεσμα. Εκπρόσωπος της εταιρείας δήλωσε στο Scientific American ότι η OpenAI λαμβάνει σοβαρά υπόψη τις κατευθυντήριες γραμμές, αλλά δεν δεσμεύεται από αυτές.scientificamerican+2

Ο ίδιος εκπρόσωπος ανέφερε ότι σχεδόν κάθε αποτέλεσμα προήλθε από ένα μόνο prompt που δόθηκε σε έναν μόνο πράκτορα, αν και ορισμένα μπορεί να απαιτούσαν πολλαπλές προσπάθειες.scientificamerican

Διχασμένες αντιδράσεις

"Θα έπρεπε να ζητάμε αποδείξεις", δήλωσε στο Scientific American ο Andrew Sutherland, μαθηματικός στο MIT. Ανέφερε ότι οι ισχυρισμοί για επίλυση προβλημάτων με μία προσπάθεια πρέπει να θεωρούνται μη επαληθευμένοι μέχρι να κυκλοφορήσει το μοντέλο. Ο Daniel Litt από το Πανεπιστήμιο του Τορόντο εξέφρασε την αντίθετη άποψη: "Για μένα, θα είναι κάτι καλό για τα μαθηματικά".scientificamerican

Η OpenAI δήλωσε ότι σχεδιάζει να χρηματοδοτήσει εργαστήρια και συνέδρια με στόχο να βοηθήσει τους μαθηματικούς να κατανοήσουν τα αποτελέσματα που παράγονται από τεχνητή νοημοσύνη, και ότι εργάζεται για την "υπεύθυνη κυκλοφορία του μοντέλου" που βρίσκεται πίσω από αυτά.openai