Το OpenAI έχει κυκλοφορήσει μια μεγάλη συλλογή μαθηματικών ερευνών που παράγονται από ένα μοντέλο AI εσωτερικών συνόρων, συμπεριλαμβανομένης της εργασίας σε προβλήματα που έχουν προκαλέσει επαγγελματίες μαθηματικούς για χρόνια.
Η εταιρεία ανακοίνωσε την κυκλοφορία στις 6 Οκτωβρίου, αναφέροντας ότι τα αποτελέσματα καλύπτουν ένα ευρύ φάσμα μαθηματικών και δημοσιεύονται ανοιχτά για έλεγχο από ερευνητές.
Η δημόσια συλλογή περιέχει 722 χειρόγραφα οργανωμένα σε 372 συγγενείς οικογένειες αποτελεσμάτων, σύμφωνα με την κοινότητα προγραμματιστών του OpenAI. Το έργο προέκυψε από μια αξιολόγηση που περιελάμβανε περίπου 4.000 μαθηματικά προβλήματα.
Το Verge αναφέρει ότι η συλλογή καλύπτει εκατοντάδες μαθηματικά αποτελέσματα που παράγονται από ένα ακυκλοφόρητο μοντέλο συνόρων. Αλλά η δημοσίευση δεν σημαίνει ότι κάθε ισχυρισμός πρέπει αμέσως να αντιμετωπίζεται ως καθιερωμένο μαθηματικό γεγονός. Οι ερευνητές θα χρειαστεί να εξετάσουν τις αποδείξεις και να καθορίσουν τη σημασία και την καινοτομία των ατομικών αποτελεσμάτων.
Ένα ιδιαίτερα σημαντικό χαρακτηριστικό είναι ότι το OpenAI έχει παράσχει τυποποιήσεις πολλών αποδείξεων χρησιμοποιώντας το Lean, μια γλώσσα προγραμματισμού που επιτρέπει τον έλεγχο μαθηματικών αποδείξεων από τον υπολογιστή. Η εταιρεία λέει ότι επιπλέον επισημοποιήσεις θα προστεθούν με την πάροδο του χρόνου.
Το OpenAI αποκάλυψε επίσης ένα εντυπωσιακό μέτρο των εμπλεκόμενων υπολογιστών. Κατά μέσο όρο, κάθε αποτέλεσμα απαιτούσε υπολογιστικό ισοδύναμο περίπου τριών ωρών ChatGPT Pro σκέψης χρησιμοποιώντας το εσωτερικό μοντέλο.
Η κυκλοφορία ακολουθεί όλο και πιο δραματικούς ισχυρισμούς σχετικά με την ικανότητα της AI να συνεισφέρει στα μαθηματικά. Τον Σεπτέμβριο, ο OpenAI δήλωσε ότι η ίδια ευρύτερη ερευνητική προσπάθεια είχε επιλύσει περισσότερα από 100 μακροχρόνια ανοικτά προβλήματα, προτρέποντας την εταιρεία να συνεργαστεί με μια ανεξάρτητη ομάδα επιφανών μαθηματικών για το πώς αυτές οι ανακαλύψεις πρέπει να αναθεωρηθούν και να κοινοποιηθούν.
Η συμβουλευτική αυτή ομάδα περιλαμβάνει μαθηματικούς από ιδρύματα όπως το Στάνφορντ, το Χάρβαρντ, την Οξφόρδη, το Κέιμπριτζ, το Μπέρκλεϊ και το Ινστιτούτο Προηγμένων Σπουδών. Ο ρόλος του δεν είναι απλώς να υποστηρίζει το έργο του OpenAI, αλλά να συμβουλεύει ανεξάρτητα για τη σημασία, τα ερευνητικά πρότυπα και την υπεύθυνη αποκάλυψη.
Το μεγαλύτερο ερώτημα τώρα πηγαίνει πέρα από το αν AI μπορεί να απαντήσει σε δύσκολες ερωτήσεις μαθηματικών.
Αν οι ανεξάρτητοι μαθηματικοί τελικά επαληθεύσουν σημαντικά τμήματα αυτού του έργου, το νέο σύνορο μπορεί να είναι αν η AI μπορεί να ανακαλύψει συστηματικά μαθηματικά που οι άνθρωποι δεν γνώριζαν ήδη.