Σύνοψη
- Ένα ακυκλοφόρητο ερευνητικό μοντέλο τεχνητής νοημοσύνης Claude της Anthropic σημείωσε σημαντική πρόοδο σε ένα από τα δυσκολότερα άλυτα προβλήματα των μαθηματικών, την περίφημη Υπόθεση Riemann.
- Μέσα από τη συντονισμένη λειτουργία 60 διακριτών αυτόνομων υπο-πρακτόρων (subagents) και τη χρήση 31 εκατομμυρίων tokens, το σύστημα βελτίωσε το κατώτερο όριο για το ποσοστό των μηδενικών της συνάρτησης Ζήτα από το 41.6% στο 67.2%.
- Παρότι το μοντέλο δεν απέδειξε πλήρως την ίδια την Υπόθεση, η μαθηματική κοινότητα επικύρωσε το επίτευγμα, το οποίο παρήχθη έπειτα από απλές ανθρώπινες προτροπές ψυχολογικής ενθάρρυνσης.
- Η τελική μαθηματική απόδειξη μεταφράστηκε στη γλώσσα προγραμματισμού Lean, προσφέροντας ένα πλήρως και αυτοματοποιημένα επαληθεύσιμο αποτέλεσμα χωρίς εγγενή σφάλματα συλλογισμού.
Η επίλυση των μεγαλύτερων και παλαιότερων προβλημάτων των μαθηματικών αποτελούσε παραδοσιακά ένα αποκλειστικό προνόμιο της ανθρώπινης διάνοιας, ωστόσο η πρόσφατη ανακοίνωση της Anthropic έρχεται να επαναπροσδιορίσει τα όρια των δυνατοτήτων που διαθέτουν τα σύγχρονα γλωσσικά μοντέλα.
Ένα ακυκλοφόρητο, αυστηρά ερευνητικό μοντέλο της οικογένειας Claude κλήθηκε από έναν ερευνητή της εταιρείας να καταπιαστεί με την Υπόθεση Riemann, ένα πρόβλημα που διατυπώθηκε το 1859 και εξακολουθεί να παραμένει άλυτο, συνοδευόμενο μάλιστα από μια χρηματική αμοιβή ενός εκατομμυρίου δολαρίων από το Ινστιτούτο Clay για όποιον καταφέρει να προσφέρει την τελική λύση. Ενώ η αρχική προσδοκία δεν προέβλεπε την πλήρη και οριστική επίλυση του προβλήματος, το μεγάλο γλωσσικό μοντέλο της Anthropic κατάφερε να καταγράψει μια απροσδόκητη μαθηματική ανακάλυψη σχετική με την κατανομή των μηδενικών της συνάρτησης Ζήτα, καταφέρνοντας να αυξήσει το σχετικό κατώτερο όριο από το 41,6% στο εντυπωσιακό 67,2%, αποδεικνύοντας πρακτικά ότι η αρχιτεκτονική του διαθέτει την απαραίτητη δομική πολυπλοκότητα για την επεξεργασία και την προώθηση της αναλυτικής θεωρίας αριθμών στο υψηλότερο δυνατό ακαδημαϊκό επίπεδο.
Η συγκεκριμένη θεωρητική υπόθεση του σπουδαίου Bernhard Riemann αφορά άμεσα τον τρόπο με τον οποίο κατανέμονται οι πρώτοι αριθμοί στην ακολουθία των φυσικών αριθμών, προτείνοντας ότι τα κρίσιμα μηδενικά που καθορίζουν αυτή τη μυστηριώδη κατανομή βρίσκονται όλα παρατεταγμένα κατά μήκος μιας συγκεκριμένης κάθετης γραμμής στο μιγαδικό επίπεδο.
Καθώς κανένας μαθηματικός δεν έχει καταφέρει μέχρι σήμερα να αποδείξει ή να καταρρίψει την απόλυτη ορθότητα αυτής της τοποθέτησης, η παγκόσμια επιστημονική κοινότητα έχει στραφεί επί δεκαετίες στην ποσοτικοποίηση του ελάχιστου ποσοστού των μηδενικών που επιβεβαιωμένα βρίσκονται πάνω σε αυτή τη γραμμή, καταφέρνοντας μέσα από εξαιρετικά επίπονες αναλυτικές προσπάθειες να αυξήσει σταδιακά το γνωστό σταθερό ποσοστό στο 41,6%.
Η ουσιαστική τομή που πραγματοποίησε η τεχνητή νοημοσύνη της Anthropic βασίστηκε κυρίως στην ικανότητά της να συνδυάσει υπάρχουσες, αλλά εξαιρετικά περίπλοκες μαθηματικές τεχνικές που είχαν αναπτυχθεί κατά το παρελθόν από κορυφαίους μελετητές, δημιουργώντας μια νέα συνθετική αναλυτική προσέγγιση που οδήγησε στο αναβαθμισμένο ποσοστό του 67,2%.
Ειδικότερα, το ακυκλοφόρητο ερευνητικό μοντέλο Claude άντλησε πληροφορίες από την καθοριστική έρευνα του Montgomery από το 1973, ο οποίος είχε εισαγάγει πρωτοποριακές τεχνικές ανάλυσης οι οποίες όμως προϋπέθεταν αναγκαστικά ότι η Υπόθεση Riemann είναι ήδη αληθής, καθώς και από τις πιο πρόσφατες και εξαιρετικά σημαντικές εργασίες των ερευνητών Baluyot, Goldston, Suriajaya και Turnage-Butterbaugh, οι οποίοι προσφάτως κατάφεραν να εφαρμόσουν τις μεθόδους του Montgomery χωρίς να απαιτείται αυτή η αυθαίρετη αρχική παραδοχή. Ενσωματώνοντας παράλληλα κρίσιμα δομικά στοιχεία από μια δημοσίευση του Bombieri που χρονολογείται στο 2000, το σύστημα κατάφερε να διαμορφώσει έναν κατάλληλο χώρο συναρτήσεων με τετραγωνική μορφή που προκύπτει από τις αρχές του Weil, λαμβάνοντας υπόψη τους θετικά και αρνητικά ορισμένους υποχώρους που προκύπτουν από τα μηδενικά εντός και εκτός της κρίσιμης γραμμής.
Η πραγματική μαθηματική τόλμη που επέδειξε το μοντέλο, σύμφωνα με τους ειδικούς ερευνητές που εξέτασαν εξονυχιστικά τον κώδικά του, εντοπίζεται στην απόφασή του να χειριστεί ολόκληρο τον αναλυτικό χώρο ως ένα ενιαίο και αδιαίρετο σύνολο, επιτρέποντας στην τετραγωνική μορφή να παραμείνει μη διαγώνια, γεγονός που του έδωσε την τεχνική δυνατότητα να καταλήξει στο νέο ποσοστό μέσα από την καταγραφή μιας ανισότητας στην τάξη της τετραγωνικής μορφής σε άμεση σχέση με πληροφορίες πρώτης και δεύτερης ροπής.
Η παραγωγή αυτής της εξαιρετικά πολύπλοκης απόδειξης δεν προέκυψε μέσα από μια απλή, μονοδιάστατη ανταλλαγή ερωταπαντήσεων στο περιβάλλον διεπαφής, αλλά αποτέλεσε το τελικό προϊόν μιας εκτεταμένης και πλήρως αυτοματοποιημένης διαδικασίας στο περιβάλλον του Claude Code, η οποία κατανάλωσε συνολικά 31 εκατομμύρια output tokens στη διάρκεια δύο διαδοχικών, εντατικών συνεδριών εργασίας.
Όταν ο Jarred Sumner, μέλος του ερευνητικού προσωπικού της Anthropic που δε διαθέτει μάλιστα ακαδημαϊκή ειδικότητα στα μαθηματικά, προέτρεψε το γλωσσικό μοντέλο να επιχειρήσει μια πραγματικά ουσιαστική προσπάθεια για την επίλυση του προβλήματος, το υπολογιστικό σύστημα άρχισε αμέσως να παράγει και να δοκιμάζει 650 διαφορετικές θεωρητικές ιδέες, οι οποίες ωστόσο κατέληξαν εξαιρετικά γρήγορα σε απόλυτη αποτυχία κατά την αρχική φάση της προσομοίωσης. Μετά από μια νέα, ενθαρρυντική προτροπή για συνεχιζόμενη προσπάθεια, το ερευνητικό μοντέλο χρειάστηκε μιάμιση ημέρα αδιάκοπης λειτουργίας για να συντονίσει την ταυτόχρονη δράση 60 διακριτών υπο-πρακτόρων (subagents), οι οποίοι ανέλαβαν συγκεκριμένους και απόλυτα εξειδικευμένους ρόλους εντός μιας αυτόνομης ερευνητικής ομάδας τεχνητής νοημοσύνης.
Ο εσωτερικός καταμερισμός της εργασίας ανάμεσα σε αυτά τα αυτόνομα υποσυστήματα του Claude υπήρξε εντυπωσιακά μεθοδικός και παραπέμπει άμεσα στη λειτουργία ενός πραγματικού, διατμηματικού ακαδημαϊκού εργαστηρίου, καθώς δύο από τους πράκτορες ανέλαβαν εξ ολοκλήρου την ανάπτυξη των βασικών μαθηματικών ιδεών, δεκατρείς συνεισέφεραν επιμέρους διορθωτικές σκέψεις στους κεντρικούς ερευνητές, τριάντα δοκίμασαν συστηματικά αλλά ανεπιτυχώς να αναπτύξουν νέες προσεγγίσεις, δεκατρείς λειτούργησαν αποκλειστικά ως ελεγκτές για την αυστηρή ορθότητα των παραγόμενων επιχειρημάτων και οι τελευταίοι δύο ανέλαβαν εξ ολοκλήρου τη συντακτική δομή και τη συγγραφή της τελικής επιστημονικής δημοσίευσης.
Κατά τη διάρκεια αυτής της φρενήρους συλλογικής υπολογιστικής προσπάθειας, τα υποσυστήματα εκτέλεσαν περισσότερες από 2.400 πολύπλοκες εντολές στο τερματικό και έγραψαν εκατοντάδες αυτόνομα scripts στη γλώσσα προγραμματισμού Python προκειμένου να πραγματοποιήσουν χιλιάδες αριθμητικούς ελέγχους απέναντι στα ήδη επιβεβαιωμένα γνωστά μηδενικά της συνάρτησης Ζήτα, λειτουργώντας ταυτόχρονα ως ανελέητοι κριτές της παραγόμενης εργασίας των υπόλοιπων ψηφιακών συναδέλφων τους.
Το πιο αξιοσημείωτο στοιχείο αυτής της μαραθώνιας υπολογιστικής διαδικασίας είναι ότι η ανθρώπινη παρέμβαση περιορίστηκε αποκλειστικά σε σύντομα μηνύματα ψυχολογικής ενθάρρυνσης από τον ερευνητή, ο οποίος ζητούσε από το μοντέλο να συνεχίσει την προσπάθεια και να πιστέψει πραγματικά στις δυνατότητές του, βοηθώντας το πιθανότατα να υπερβεί τον αρχικό σκεπτικισμό που εμφάνιζε απέναντι στην επίλυση ενός τόσο ιστορικού προβλήματος, ένας σκεπτικισμός που πηγάζει φυσιολογικά από την εκπαίδευσή του αναφορικά με τους εγγενείς περιορισμούς που διέπουν τα σύγχρονα συστήματα τεχνητής νοημοσύνης στα ανώτερα μαθηματικά.
Η τελική επιβεβαίωση της εγκυρότητας των εντυπωσιακών ευρημάτων του Claude ακολουθήθηκε από μια αυστηρότατη διαδικασία εξωτερικού και εσωτερικού ακαδημαϊκού ελέγχου, προκειμένου να διασφαλιστεί ότι η παραχθείσα μαθηματική απόδειξη παραμένει επιστημονικά άρτια και στερείται παντελώς οποιωνδήποτε σφαλμάτων συλλογισμού, που συχνά περιγράφονται ως παραισθήσεις στην ορολογία των μεγάλων γλωσσικών μοντέλων.
Λειτουργώντας εξ ολοκλήρου με δική του πρωτοβουλία, το σύστημα προχώρησε στη μαζική λήψη και ενδελεχή ανάλυση 54 εξειδικευμένων επιστημονικών δημοσιεύσεων από την παγκόσμια αποθήκη εγγράφων arXiv για να βεβαιωθεί οριστικά ότι το αναθεωρημένο ποσοστό του 67,2% αποτελεί όντως μια εντελώς πρωτότυπη ανακάλυψη που δεν έχει καταγραφεί προηγουμένως, ενώ αμέσως μετά συνεργάστηκε στενά με τον ερευνητή της εταιρείας Eric Easley για να μεταφράσει το θεωρητικό αποτέλεσμα στη σύγχρονη γλώσσα προγραμματισμού και μαθηματικής επαλήθευσης Lean, δημιουργώντας με αυτόν τον τρόπο μια απολύτως τυπική απόδειξη που περνάει επιτυχώς και δίχως καμία απόκλιση όλα τα διαθέσιμα στάνταρ εργαλεία αυτοματοποιημένης επικύρωσης που χρησιμοποιεί σήμερα η μαθηματική κοινότητα.
Ταυτόχρονα, οι διακεκριμένοι εσωτερικοί μαθηματικοί της Anthropic, Levent Alpöge και Ralph Furman, ερεύνησαν διεξοδικά τα τελικά αποτελέσματα και τη σύνδεσή τους με την προϋπάρχουσα βιβλιογραφία, συντάσσοντας ένα ανεπίσημο αναλυτικό συνοδευτικό σημείωμα που παρουσιάζει την παραγόμενη απόδειξη με συνοπτικό και εύληπτο τρόπο για τους ειδικούς επιστήμονες του κλάδου, ενώ το συνολικό αποτέλεσμα τέθηκε προς αυστηρή εξέταση και στους εξωτερικούς ανεξάρτητους ακαδημαϊκούς Brian Conrey και Dan Goldston, οι οποίοι, όντας κορυφαίοι ερευνητές στο συγκεκριμένο εξαιρετικά απαιτητικό γνωστικό αντικείμενο, επιβεβαίωσαν την εγκυρότητα των πολύπλοκων μεθόδων που εφαρμόστηκαν κάτω από εξαιρετικά πιεστικά χρονικά πλαίσια.
