Anthropic: Το AI της έλυσε τα μισά μαθηματικά προβλήματα της OpenAI μέσα σε 24 ώρες

Η OpenAI ανακοίνωσε το Σάββατο ότι μια εσωτερική έκδοση του επόμενου μεγάλου μοντέλου τεχνητής νοημοσύνης της, με την ονομασία Astra, έλυσε ή σημείωσε σημαντική πρόοδο σε 10 μακροχρόνια ανοιχτά προβλήματα στα μαθηματικά και τη θεωρητική πληροφορική. Μέσα σε 24 ώρες, ο ερευνητής της Anthropic, Levent Alpöge, ανταπάντησε ισχυριζόμενος ότι χρησιμοποίησε το διαθέσιμο στο κοινό Claude Fable για να λύσει ανεξάρτητα πέντε από τα ίδια προβλήματα.

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

Οι μαθηματικοί ισχυρισμοί του Astra

Σε ανάρτηση στο ιστολόγιό της με τίτλο "Ten advances in mathematics and theoretical computer science", η OpenAI ανέφερε ότι τα προβλήματα αυτά "δεν είχαν δει καμία πρόοδο στο κύριο αποτέλεσμα για τουλάχιστον μία δεκαετία". Τα αποτελέσματα καλύπτουν τη γεωμετρία πολλών διαστάσεων, τη θεωρία κωδικοποίησης, την πολυπλοκότητα αριθμητικών κυκλωμάτων, τη θεωρία ομάδων, τις άλγεβρες τελεστών, την κβαντική πολυπλοκότητα, τη κρυπτογραφία πλεγμάτων και τη συνδυαστική άκρων.indianexpress+1

Μεταξύ των επιτευγμάτων που υποστηρίζει, το Astra απέδειξε ότι υπάρχουν μη σοφικές ομάδες, ένα ερώτημα ανοιχτό από το 1999, και έλυσε την εικασία ακαμψίας του Alain Connes καθώς και την εικασία όγκου του Ehrhart. Η OpenAI ανέφερε ότι οι αποδείξεις διαμορφώθηκαν επίσημα στο Lean 4 και ότι θα δημοσιεύσει την αφήγηση της διαδικασίας συλλογισμού του μοντέλου. Η εταιρεία εκτίμησε ότι η αναπαραγωγή της εργασίας θα κοστίσει περίπου 2.000 δολάρια με τις τιμές του GPT-5.6 Sol API.openai+3

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

Η άμεση απάντηση της Anthropic

Λίγο μετά την ανακοίνωση, ο Alpöge δημοσίευσε στο X ότι το Claude Fable είχε λύσει πέντε από τα ίδια προβλήματα σε λιγότερο από 24 ώρες, λειτουργώντας αυτόνομα με γενικές εντολές και χωρίς πρόσβαση στο διαδίκτυο. Τα προβλήματα που ανέφερε περιλαμβάνουν την πολυπλοκότητα αριθμητικών κυκλωμάτων, την κβαντική παράλληλη επανάληψη και το πρόβλημα του πλησιέστερου διανύσματος.moneycontrol+2

Ο Alpöge δεν είναι νεοφερμένος στα μαθηματικά με υποστήριξη τεχνητής νοημοσύνης. Τον Ιούλιο, ο πρώην αριστούχος του Harvard χρησιμοποίησε το Claude Fable 5 για να καταρρίψει την ηλικίας 87 ετών εικασία του Jacobian κατά τη διάρκεια του τελικού του Παγκοσμίου Κυπέλλου, ένα αποτέλεσμα που έκτοτε έχει επαληθευτεί ανεξάρτητα. Η Anthropic δεν έχει δημοσιεύσει επίσημη εργασία που να επαληθεύει τους τελευταίους ισχυρισμούς, ενώ η OpenAI δεν έχει απαντήσει δημόσια.fortune+2

Ένα νέο μέτωπο στον αγώνα της τεχνητής νοημοσύνης

Η OpenAI αναγνώρισε ότι τα συστήματα τεχνητής νοημοσύνης που είναι ικανά να συμβάλλουν στη μαθηματική έρευνα εγείρουν ανεπίλυτα ερωτήματα σχετικά με την πατρότητα των έργων. "Η διεκδίκηση της ανθρώπινης πατρότητας για μια απόδειξη που δημιουργήθηκε εξ ολοκλήρου από ένα σύστημα AI θα παραποιούσε τόσο τη συμβολή του συστήματος όσο και την ανθρώπινη πνευματική εργασία", έγραψε η εταιρεία. Κάλεσε την ευρύτερη ακαδημαϊκή κοινότητα να βοηθήσει στην ανάπτυξη προτύπων αναγνώρισης.indianexpress

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