Μοιραζόμαστε την πρόοδο της τεχνητής νοημοσύνης στα μαθηματικά

Δημοσιεύουμε ένα ευρύ φάσμα νέων μαθηματικών αποτελεσμάτων που παρήγαγε ένα εσωτερικό κορυφαίο μοντέλο.

Για να καθιερώσουμε έναν ενιαίο τρόπο κοινοποίησης των αποτελεσμάτων στη μαθηματική κοινότητα, συνεργαζόμαστε με την ανεξάρτητη Συμβουλευτική Ομάδα για τα Μαθηματικά και την Τεχνητή Νοημοσύνη του Ινστιτούτου Προηγμένων Σπουδών⁠(ανοίγει σε νέο παράθυρο) με στόχο την ανάπτυξη βέλτιστων πρακτικών. Ενσωματώνουμε τις συμβουλές της και τις δημόσιες συστάσεις⁠(ανοίγει σε νέο παράθυρο) της στον τρόπο με τον οποίο δημοσιεύουμε αυτά τα αποτελέσματα.

Σε αυτή τη δημοσίευση, διαθέτουμε τα αποτελέσματα σε ένα αποθετήριο στο GitHub, μαζί με πρωτόκολλα για την αναθεώρηση των εργασιών και τις βιβλιογραφικές αναφορές. Συνεχίζουμε να διερευνούμε άλλες επιλογές φιλοξενίας αυτής της δημοσίευσης από την κοινότητα, οι οποίες πληρούν τις κατευθυντήριες γραμμές της επιτροπής. Για τις μελλοντικές δημοσιεύσεις, δεσμευόμαστε να βελτιώσουμε περαιτέρω την ποιότητα των εργασιών ως προς τις βιβλιογραφικές αναφορές, τη μαθηματική ανάπτυξη και την παρουσίαση των αποτελεσμάτων, ώστε να γίνονται καλύτερα κατανοητά.

Στο αποθετήριό μας στο GitHub κοινοποιούμε επίσης τυποποιήσεις πολλών από τις αποδείξεις σε Lean, μια γλώσσα προγραμματισμού που επιτρέπει τον έλεγχο μαθηματικών αποδείξεων από υπολογιστή. Θα ενημερώνουμε το αποθετήριο με περισσότερες τυποποιήσεις, καθώς θα γίνονται διαθέσιμες.

Για να προάγουμε τη διαφάνεια και την ανοιχτή επιστήμη, δημοσιεύουμε επίσης στο αποθετήριο πρόσθετες λεπτομέρειες για το πώς προέκυψαν τα αποτελέσματα. Σε αυτές περιλαμβάνονται 10 περιλήψεις της συλλογιστικής του μοντέλου, εκτιμήσεις των υπολογιστικών πόρων που χρησιμοποιήθηκαν σε όρους χρήσης του Pro στο ChatGPT, καθώς και στατιστικά στοιχεία για τον αριθμό των προβλημάτων που επιχειρήθηκε να λυθούν. Κατά μέσο όρο, για κάθε αποτέλεσμα χρησιμοποιήθηκαν υπολογιστικοί πόροι που αντιστοιχούν σε περίπου τρεις ώρες σκέψης του ChatGPT Pro.

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

Θέλουμε να προσφέρουμε απευθείας στους επιστήμονες τις πλέον προηγμένες δυνατότητες και εργαζόμαστε για να διαθέσουμε με υπεύθυνο τρόπο το μοντέλο που παρήγαγε αυτά τα αποτελέσματα. Γι’ αυτό είναι σημαντικό να συνεχίσουμε να αξιολογούμε τα εσωτερικά κορυφαία μοντέλα μας στα μαθηματικά και σε άλλες επιστήμες, ώστε να επιταχύνουμε την ανάπτυξη εργαλείων που θα προωθήσουν αυτούς τους κλάδους. Θα συνεχίσουμε να αξιοποιούμε τα σχόλια της κοινότητας και να επικαιροποιούμε τα πρότυπά μας για τις μελλοντικές ανακοινώσεις σημαντικών επιστημονικών επιτευγμάτων.