Όταν η Τεχνητή Νοημοσύνη Έλυσε Μαθηματικό Γρίφο Που Κόλλησε Ειδικό για Εβδομάδες

Διάβασα μια ιστορία που με άφησε με το στόμα ανοιχτό. Ο Donald Knuth, ο θρύλος της πληροφορικής πίσω από το "The Art of Computer Programming", έβγαλε χαρτί με τίτλο "Claude's Cycles". Πρέπει να σας το πω.

Το Δύσκολο Πρόβλημα

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

Ο Knuth το έλυσε για μικρά μεγέθη. Για γενική λύση, όμως, παλεύοντας εβδομάδες. Τίποτα.

Μπαίνει το Claude Opus

Ο συνάδελφός του, Filip Stappers, το δοκίμασε στο Claude Opus 4.6 της Anthropic. Χωρίς μεγάλες προσδοκίες. Και εκεί έγινε μαγεια.

Το Claude το χώρισε σε 31 βήματα έρευνας. Ξεκίνησε απλά, απέτυχε. Πήγε σε πιο έξυπνα. Άλλαξε μαθηματική μορφή. Βρήκε μοτίβα που ξεφεύγουν και από έμπειρους μαθηματικούς.

Στο βήμα 15, έφερε "fiber decomposition". Ένα έξυπνο κόψιμο του προβλήματος σε κομμάτια. Δεν είναι απλή ισχύς υπολογιστή. Είναι πραγματική μαθηματική ιδέα.

Η Μεγάλη Ανακάλυψη

Στο 31ο βήμα, το βρήκε. Μια κατασκευή που δουλεύει για όλα τα περιττά νούμερα άνω του 2. Απλή, λίγες γραμμές κώδικα. Και δοκιμάστηκε: από 3 έως 101, άψογα.

Τι Σημαίνει Αυτό;

Μην τρομάζετε, δεν τελείωσαν οι μαθηματικοί. Ο Knuth έδωσε την αυστηρή απόδειξη. Το AI βρήκε το μοτίβο. Ο άνθρωπος εξήγησε το γιατί.

Δεν είναι ανταγωνισμός. Είναι συνεργασία. Το Claude εξερευνά συστηματικά, βρίσκει μοτίβα. Ο άνθρωπος προσθέτει διαίσθηση και απόδειξη. Νέο εργαλείο στο κουτί.

Η Πραγματικότητα Δεν Είναι Ταινία

Ο Knuth το λέει καθαρά. Το Claude χαλούσε, έγραφε λάθος κώδικα. Ο Stappers το ξανάρχιζε συνέχεια. Έπρεπε να το πιέζει να καταγράφει βήματα.

Δεν είναι εύκολο. Είναι δουλειά. Αλλά όταν πετύχει, εκπλήσσει.

Τι Έρχεται;

Για ζυγά νούμερα, ακόμα ανοιχτό. Χρειάζεται ανθρώπινη δημιουργικότητα.

Είμαι αισιόδοξος. Το AI γίνεται βοηθός έρευνας. Εξερευνά χώρους, προτείνει ιδέες που χάνουμε. Όπως είπε ο Knuth: "Συγχαρητήρια στο Claude!" Και στους ανθρώπους που ξέρουν να ρωτάνε σωστά.