Η Υπόθεση του Εκθετικού Χρόνου (Exponential Time Hypothesis, ETH) πιστευόταν ευρέως ότι ισχύει από το 1999. Η OpenAI υποστηρίζει τώρα ότι το μοντέλο της την διέψευσε. Είναι ένα από τρία «μεγάλα» αποτελέσματα που ανακοίνωσε, όπως μεταδίδει το The Verge, σε μαθηματικά, πληροφορική και φυσική.
Η ETH αφορά το πόσο γρήγορα μπορούν να λυθούν ορισμένα δύσκολα υπολογιστικά προβλήματα. Σύμφωνα με την εταιρεία, η εργασία δίνει έναν αλγόριθμο που μετρά με ακρίβεια τις λύσεις συγκεκριμένων λογικών τύπων (CNF σταθερού πλάτους) σε υποεκθετικό χρόνο. Για την περίπτωση του 3-SAT, λέει, αυτό ανατρέπει την υπόθεση. Το αποτέλεσμα είναι ισχυρισμός της OpenAI και δεν έχει ακόμη επαληθευτεί.
Ειδικοί ως «ποιμένες» των αποτελεσμάτων
Η νέα προσέγγιση είναι ότι εξωτερικοί ειδικοί, που η εταιρεία αποκαλεί «shepherds» (ποιμένες), καθοδηγούν τον έλεγχο. Για την ETH, μια ανεξάρτητη ομάδα θα εξετάσει και θα εξηγήσει την απόδειξη. Την αποτελούν οι Russell Impagliazzo και Ramamohan Paturi, που ανήκαν στην ομάδα που πρότεινε την υπόθεση το 1999, και ο Ryan Williams του MIT. Ύστερα από αίτημά τους, η εργασία και η απόδειξη σε Lean, γλώσσα για μηχανικά επαληθεύσιμες αποδείξεις, ανέβηκαν αμέσως στο GitHub.
Στη φυσική, η OpenAI μιλά για «μαθηματικά αυστηρή απόδειξη ύπαρξης» ορισμένων αλληλεπιδρώντων κβαντικών θεωριών πεδίου στις τέσσερις διαστάσεις, μεταξύ τους η κβαντική χρωμοδυναμική (QCD). Τα στοιχεία δεν έχουν δημοσιευτεί πλήρως. Τη δουλειά θα καθοδηγήσει ομάδα με επικεφαλής τον David Gross, με τους Michael Douglas, Arthur Jaffe, Igor Klebanov και Nikita Nekrasov.
Στα μαθηματικά, η έξοδος του μοντέλου όπως βγήκε
Το τρίτο αποτέλεσμα αφορά την ομαλοποίηση κυμάτων (local smoothing) της εξίσωσης κύματος. Η OpenAI λέει ότι το μοντέλο απέδειξε την εικασία σε κάθε διάσταση και άρα λύνει και τις εικασίες Kakeya και Stein. Πριν από λίγους μήνες, η Hong Wang του NYU πήρε το μετάλλιο Fields για την εικασία Kakeya σε τρεις διαστάσεις. Εδώ, με συμβουλή των εξωτερικών ειδικών, η εταιρεία δημοσίευσε ατόφια την έξοδο του μοντέλου, ώστε οι ερευνητές να φτιάξουν τις δικές τους εξηγήσεις, όπως και στην άλλη υπόθεση της OpenAI που απασχόλησε αυτές τις μέρες δεν συμβαίνει, αλλά η δημοσίευση στις 6 Οκτωβρίου ακολούθησε την ίδια λογική.
Η ίδια η εταιρεία παραδέχεται ότι η μέθοδος έχει προβλήματα. Την προηγούμενη μέρα, η ομάδα μαθηματικών συμβούλων AGMAI, που είχε συγκροτήσει η OpenAI, έγραψε ότι «συνιστούμε οι εταιρείες AI να μην υιοθετούν» την πρακτική να ορίζονται άνθρωποι που παίρνουν πρώτοι το αποτέλεσμα. Ως λόγους ανέφερε άνιση πρόσβαση, δανεική φήμη και μεροληπτική επιλογή. Πρότεινε αντί γι’ αυτό δημοσίευση σε επιστημονικά αποθετήρια, με αποδείξεις σε Lean, πληροφορίες για το πώς επιλέχθηκαν τα προβλήματα και χρηματοδότηση για όσους προσπαθούν να κατανοήσουν τα αποτελέσματα.
Η OpenAI δημοσίευσε και ανοιχτή επιστολή προς την κοινότητα με τρία ερωτήματα: ποιοι κανόνες πρέπει να διέπουν την πρώιμη πρόσβαση και τις συγκρούσεις συμφερόντων, πώς αναγνωρίζεται η εργασία του ελέγχου και της εξήγησης δίπλα στην ανακάλυψη, και πώς στηρίζονται φοιτητές και ερευνητές όταν αλλάζουν οι μέθοδοι.
Πηγή: The Verge
