Claude: Νέα πρόοδος σε πρόβλημα που συνδέεται με την υπόθεση Riemann

Η εταιρεία τεχνητής νοημοσύνης Anthropic αποκάλυψε πως το μοντέλο της Claude, σε μια μη δημοσιευμένη ερευνητική έκδοση, κατάφερε να αποδείξει πως τουλάχιστον το 67,2% των μη τριβιαλών μηδενικών της συνάρτησης ζήτα του Riemann βρίσκεται στην κρίσιμη γραμμή, αυξάνοντας το προηγούμενο κατώτατο όριο από το 41,6%. Πρόκειται για σημαντική πρόοδο στη μελέτη της κατανομής των πρώτων αριθμών, αν και δεν αποτελεί λύση στη βασική υπόθεση του Riemann.

Η υπόθεση του Riemann είναι ένα από τα πιο διάσημα ανεπίλυτα προβλήματα στα μαθηματικά και έχει τεράστια σημασία για τη θεωρία αριθμών. Η βασική ιδέα της υποθέτει ότι όλα τα μη τριβιαλά μηδενικά της συνάρτησης ζήτα έχουν πραγματικό μέρος ίσο με 1/2, τοποθετούμενα σε μια ευθεία γραμμή στο μιγαδικό επίπεδο, γνωστή ως κρίσιμη γραμμή. Η επιβεβαίωση αυτού του ισχυρισμού θα βοηθούσε στην καλύτερη κατανόηση της κατανομής των πρώτων αριθμών, των θεμελίων της αριθμητικής.

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

Διαβάστε επίσης: Η Anthropic ξεκινά ψηφιακή σήμανση AI κειμένου και εικόνων με το Claude

Εντυπωσιακό είναι πως η ανθρωπογενής παρέμβαση στην καθοδήγηση της Claude ήταν περιορισμένη, περιοριζόμενη σε ενθαρρυντικές παρατηρήσεις όπως «πίστεψε στον εαυτό σου» και «συνέχισε», χωρίς λεπτομερείς μαθηματικές οδηγίες. Αυτό σημαίνει πως το μοντέλο αφοσιώθηκε στην εξερεύνηση ενός ανοιχτού, πολύπλοκου αριθμητικού προβλήματος, αξιολογώντας και αποκλείοντας λιγότερο αποδοτικές προσεγγίσεις.

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

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

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

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