Το κόστος παραγωγής αποτελεσμάτων σε δέκα μακροχρόνια μαθηματικά προβλήματα μόλις μειώθηκε στα 2.000 δολάρια, σύμφωνα με την OpenAI, η οποία αναφέρει ότι το μοντέλο της Astra δημιούργησε μηχανικά ελέγξιμες αποδείξεις για ερωτήματα που αντιστάθηκαν στην ανθρώπινη πρόοδο για δεκαετίες.
Η OpenAI δημοσίευσε την εργασία την 1η Αυγούστου (PDF) και τη χρησιμοποίησε για να δώσει στην επόμενη μεγάλη οικογένεια μοντέλων της ένα όνομα: Astra.
Τα αποτελέσματα καλύπτουν τη θεωρία ομάδων, τη γεωμετρία υψηλών διαστάσεων, τη θεωρία κωδικοποίησης, την κβαντική πολυπλοκότητα, την κρυπτογραφία πλέγματος και την ακραία συνδυαστική. Πρόκειται για μια συλλογή 249 σελίδων και, παράλληλα με αυτήν, ένα μηχανικά ελεγξιμο πιστοποιητικό για κάθε μεμονωμένο αποτέλεσμα.
Τα προβλήματα δεν ήταν ασκήσεις σχολικού βιβλίου. Κάθε ένα ήταν ανοιχτό για τουλάχιστον δέκα χρόνια, τα περισσότερα από αυτά πολύ περισσότερο:
- – Μια κατασκευή που εδραιώνει την ύπαρξη μη-σοφικών ομάδων, ένα ερώτημα που απασχολεί τους θεωρητικούς ομάδων εδώ και χρόνια.
- – Μια διάψευση της εικασίας της ακαμψίας του Connes, ενός μακροχρόνιου προβλήματος στη θεωρία των αλγεβρών von Neumann.
- – Μια βελτίωση στο γενικό άνω όριο της πυκνότητας συσκευασίας σφαιρών σε υψηλές διαστάσεις, ένα όριο που ίσχυε από το 1978.
- – Τρία προβλήματα προέρχονται από τον κατάλογο των ανοιχτών ερωτημάτων που άφησε πίσω του ο Paul Erdos.
Η ανακοίνωση έρχεται μετά από ένα άλλο αποτέλεσμα τον Μάιο, όταν η OpenAI χρησιμοποίησε ένα παρόμοιο μοντέλο συλλογισμού για να παράγει μια πρωτότυπη μαθηματική απόδειξη που διαψεύδει μια διάσημη άλυτη εικασία στη γεωμετρία, η οποία τέθηκε για πρώτη φορά από τον Paul Erdos το 1946.
Αν και τα δελτία τύπου θα είναι από πολύ επιλεγμένα έως και σπάνια, είπα να περάσω … γιατί καμιά φορά κρύβονται οι συντάκτες.
