Στις 28 Φεβρουαρίου 2026, ο Donald Knuth, καθηγητής emeritus στο Πανεπιστήμιο Stanford και συγγραφέας του μνημειώδους The Art of Computer Programming, δημοσίευσε μια σημείωση με τίτλο “Claude’s Cycles” στην οποία περιγράφει πώς το μοντέλο Claude Opus 4.6 της Anthropic έλυσε ένα ανοιχτό πρόβλημα συνδυαστικής μαθηματικής πάνω στο οποίο εργαζόταν ο ίδιος εδώ και εβδομάδες. Η ανακοίνωση σηματοδοτεί μια σημαντική στιγμή στη διασταύρωση μαθηματικής έρευνας και τεχνητής νοημοσύνης.
Το πρόβλημα: Αποσύνθεση κατευθυνόμενων κύκλων Hamilton
Το πρόβλημα αφορά έναν κατευθυνόμενο γράφο (digraph) με m3 κορυφές, όπου κάθε κορυφή ijk (0 ≤ i,j,k < m) συνδέεται με τρεις ακμές. Ο Knuth αναζητούσε μια γενική αποσύνθεση των ακμών σε τρεις κατευθυνόμενους κύκλους Hamilton μήκους m3, για κάθε m > 2. Ο ίδιος είχε λύσει την περίπτωση m = 3 και ο συνεργάτης του Filip Stappers είχε βρει εμπειρικές λύσεις για m = 4 έως 16, καθιστώντας εύλογη την εικασία ότι η αποσύνθεση υπάρχει για κάθε m > 2.
Η μεθοδολογία του Claude: Από brute-force σε μαθηματική κατασκευή
Ο Stappers υπέβαλε το πρόβλημα στο Claude Opus 4.6 χρησιμοποιώντας ακριβώς τη διατύπωση του Knuth, ζητώντας παράλληλα συστηματική τεκμηρίωση κάθε βήματος. Η πορεία του μοντέλου ήταν αξιοσημείωτη. Πρώτα αναδιατύπωσε το πρόβλημα σε όρους θεωρίας ομάδων, αναγνωρίζοντας τον γράφο ως γράφο Cayley. Δοκίμασε γραμμικές και τετραγωνικές συναρτήσεις, αναζήτηση βάθους (DFS), ανάλυση σε δύο διαστάσεις με “ελικοειδή” μοτίβα (serpentine patterns), καθώς και αποσύνθεση ινών (fiber decomposition), μια τεχνική όπου κάθε κορυφή αντιστοιχίζεται σε “στρώσεις” βάσει του αθροίσματος i+j+k mod m.
Μετά από 31 διαδοχικές εξερευνήσεις και περίπου μία ώρα υπολογισμού, το Claude κατέληξε σε μια ρητή κατασκευή σε μορφή προγράμματος Python η οποία παρήγαγε έγκυρες αποσυνθέσεις για κάθε περιττό m από 3 έως 101. Αυτό δεν ήταν μια τυχαία εύρεση. Το μοντέλο συνδύασε προσομοιωμένη ανόπτηση (simulated annealing) με αλγεβρική ανάλυση, εντόπισε δομικά μοτίβα σε παλαιότερες λύσεις και τα γενίκευσε.
Τυπική απόδειξη και επαλήθευση
Ο Knuth κατασκεύασε στη συνέχεια τυπική μαθηματική απόδειξη ότι η κατασκευή του Claude είναι ορθή για κάθε περιττό m. Η απόδειξη βασίζεται στην ανάλυση της αλληλουχίας κορυφών ανά στρώση (fiber) και στην απόδειξη ότι κάθε κύκλος περιέχει ακριβώς m2 κορυφές ανά τιμή του πρώτου συντεταγμένου. Η τυπική επαλήθευση ολοκληρώθηκε σε λιγότερο από μία εβδομάδα από τον Kim Morrison με χρήση του αποδεικτικού βοηθού Lean, ενισχύοντας την αξιοπιστία του αποτελέσματος.
Γιατί έχει σημασία
Αυτό το αποτέλεσμα είναι σημαντικό για τουλάχιστον τρεις λόγους. Πρώτον, αποδεικνύει ότι τα σύγχρονα γλωσσικά μοντέλα μπορούν να λειτουργήσουν ως εργαλεία δημιουργικής μαθηματικής ανακάλυψης, όχι απλώς ως βοηθοί. Δεύτερον, η μεθοδολογία του Claude, η οποία περιλαμβάνει διαδοχικές αναδιατυπώσεις, αποτυχημένα πειράματα και τελικά σύνθεση, μοιάζει δομικά με τη διαδικασία που ακολουθεί ένας ερευνητής. Τρίτον, η μεταγενέστερη επέκταση του προβλήματος στους άρτιους αριθμούς, μέσω συνεργασίας ανθρώπων και πολλαπλών μοντέλων (Claude και GPT), σηματοδοτεί μια νέα μορφή μαθηματικής συνεργασίας ανθρώπου και μηχανής.
Όπως σημειώνει ο Knuth: “Ζούμε σε πολύ ενδιαφέρουσες εποχές.” Η λύση των κύκλων του Claude δεν αντικαθιστά τη μαθηματική σκέψη, αλλά αναδεικνύει τη δυνατότητα των μοντέλων ΤΝ να συμμετέχουν ουσιαστικά στην ερευνητική διαδικασία, ανοίγοντας νέους δρόμους για τη συνδυαστική μαθηματική και πέρα από αυτή.
Πηγές
Knuth, D.E. (2026). “Claude’s Cycles.” Σημείωση του Donald Knuth που τεκμηριώνει πώς το Claude Opus 4.6 έλυσε ένα ανοιχτό πρόβλημα αποσύνθεσης κατευθυνόμενων κύκλων Hamilton. https://cs.stanford.edu/~knuth/papers/claude-cycles.pdf
Morrison, K. (2026). KnuthClaudeLean. Τυπική επαλήθευση σε Lean της κατασκευής του Claude για τους κύκλους Hamilton σε περιττό m. https://github.com/kim-em/KnuthClaudeLean/
Knuth, D.E. (2011). The Art of Computer Programming, Volume 4A. Αναφορά στον αρθρωτό m-αδικό κώδικα Gray (σελ. 299) που σχετίζεται με το “serpentine pattern” που εντόπισε το Claude. Upper Saddle River, NJ: Addison-Wesley. https://en.wikipedia.org/wiki/The_Art_of_Computer_Programming
Aquino-Michaels, K. (2026). “Completing Claude’s Cycles: Multi-agent structured exploration on an open combinatorial problem.” Ανάλυση συνεργασίας πολλαπλών μοντέλων ΤΝ για την επίλυση του προβλήματος σε άρτιο m. https://github.com/no-way-labs/residue