Το Anthropic's Claude Fable 5 διαψεύδει μια μαθηματική εικασία 87 ετών με έναν μικροσκοπικό τύπο

Ένας Anthropic μαθηματικός χρησιμοποίησε το μεγάλο γλωσσικό μοντέλο της εταιρείας για να διαψεύσει μια μαθηματική εικασία που αντιστέκεται στην ανάλυση για 87 χρόνια, παρέχοντας ένα από τα πιο εντυπωσιακά παραδείγματα τεχνητής νοημοσύνης που προάγει τα καθαρά μαθηματικά.

Ο Levent Alpöge, μαθηματικός στην εταιρεία τεχνητής νοημοσύνης Anthropic, ανακοίνωσε ότι βρήκε ένα αντιπαράδειγμα στην Ιακωβική εικασία, ένα διάσημο και μακροχρόνιο πρόβλημα στην αλγεβρική γεωμετρία. Έφτασε στο αποτέλεσμα χρησιμοποιώντας το μοντέλο Claude Fable 5 της Anthropic, το οποίο είχε κυκλοφορήσει στο κοινό μόλις εβδομάδες νωρίτερα. Η ανακάλυψη, η οποία αναφέρθηκε για πρώτη φορά από τους ScienceDaily και SciTechDaily και προήλθε από ένα άρθρο που δημοσιεύτηκε αρχικά στο The Conversation, έχει προκαλέσει ένα κύμα ενθουσιασμού στη μαθηματική κοινότητα. Για τους αναγνώστες που παρακολουθούν τις [τελευταίες εξελίξεις της τεχνητής νοημοσύνης] (https://aibuzzwire.news), το αποτέλεσμα υπογραμμίζει πόσο γρήγορα τα συνοριακά μοντέλα μεταβαίνουν από τα κόλπα της αίθουσας σε μια γνήσια παραγωγική επιστημονική εργασία.

Μια φόρμουλα αρκετά μικρή για μια ανάρτηση

Αυτό που κάνει την ανακάλυψη τόσο εντυπωσιακή είναι η συμπαγής της. Σύμφωνα με το SciTechDaily, το αντιπαράδειγμα είναι μια αξιοσημείωτα απλή τρισδιάστατη συνάρτηση — μια φόρμουλα αρκετά σύντομη ώστε να χωράει μέσα σε μία θέση στο X. Το αντιπαράδειγμα υποβοηθούμενο από AI καταρρίπτει την εικασία Jacobian πάνω από δύο διαστάσεις, ενώ αφήνει ανοιχτή την αρχική δισδιάστατη μορφή της εικασίας.

Αυτή η απόχρωση έχει σημασία. Το αποτέλεσμα δεν λύνει ολόκληρο το πρόβλημα, που υπάρχει από τον 19ο αιώνα. Αντίθετα, εκθέτει ένα απροσδόκητο όριο: η γενικευμένη, υψηλότερης διάστασης εκδοχή της εικασίας είναι ψευδής, παρόλο που η περίπτωση που οι μαθηματικοί αρχικά ενδιαφέρθηκαν για τους περισσότερους παραμένει άλυτη.

Η ιστορία πίσω από το πρόβλημα

Η Jacobian εικασία αφορά πολυωνυμικές συναρτήσεις — μαθηματικές μηχανές που λαμβάνουν αριθμούς και παράγουν νέους αριθμούς ακολουθώντας έναν συγκεκριμένο κανόνα. Σε αυτήν τη ρύθμιση, οι αριθμοί μπορούν να αντιπροσωπεύουν σημεία σε ένα διάστημα, όπως συντεταγμένες σε έναν χάρτη. Μια συνάρτηση παίρνει αυτές τις συντεταγμένες και τις μετατρέπει, μετακινώντας τα σημεία σε διαφορετικές θέσεις. Οι μαθηματικοί μπορούν να εξετάσουν πόσο ομαλά μια συνάρτηση αναδιατάσσει το χώρο υπολογίζοντας την Jacobian ορίζοντά της. Η εικασία ουσιαστικά ρωτά: εάν αυτή η ορίζουσα είναι μη μηδενική σταθερά, η συνάρτηση έχει αναγκαστικά ένα πολυώνυμο αντίστροφο;

Το πρόβλημα έχει μια ιστορική ιστορία. Δηλώθηκε για πρώτη φορά από τον Τσέχο μαθηματικό Λούντβιχ Κράους το 1884, και στη συνέχεια γενικεύτηκε σε οποιονδήποτε αριθμό διαστάσεων από τον Γερμανό μαθηματικό Ott-Heinrich Keller το 1939. Θεωρήθηκε τόσο σημαντικό που ο μετάλλιο του Fields Stephen Smale το συμπεριέλαβε στη λίστα με τα Μαθηματικά Προβλήματα για τον Επόμενο αιώνα το 1998.

Κατά τη διάρκεια της μακράς διάρκειας ζωής της, η εικασία προσέλκυσε πολλές διεκδικούμενες αποδείξεις, συμπεριλαμβανομένων των προσπαθειών των Beniamino Segre και Wolfgang Gröbner, δύο διάσημων μαθηματικών του 20ου αιώνα. Κανένας δεν άντεξε. Το γεγονός ότι ένα αντιπαράδειγμα εμφανίστηκε τώρα - με τη βοήθεια ενός μοντέλου τύπου chatbot - δείχνει πώς το AI αποδεικνύεται τόσο χρήσιμο για την ανακάλυψη απροσδόκητων μαθηματικών αντικειμένων όσο και για την κατασκευή αποδείξεων.

Γιατί έπεσε η υπόθεση υψηλότερων διαστάσεων

Η βασική διάκριση είναι μεταξύ δύο και τριών (ή περισσότερων) διαστάσεων. Η αρχική δισδιάστατη Ιακωβική εικασία, η εκδοχή που έχει απασχολήσει αλγεβρικούς γεωμέτρους για γενιές, είναι ακόμα ανοιχτή. Αυτό που βρήκαν ο Alpöge και ο Claude Fable 5 είναι ένα αντιπαράδειγμα σε τρεις διαστάσεις, το οποίο είναι αρκετό για να καταρρίψει τη γενικευμένη εικασία που διατύπωσε ο Keller το 1939.

Αυτό είναι ένα ουσιαστικό αποτέλεσμα από μόνο του. Πολλοί ερευνητές είχαν υποψιαστεί ότι αν η εικασία ήταν αλήθεια, θα ήταν αληθινή παντού. Ένα καθαρό αντιπαράδειγμα στη διάσταση τρία περιορίζει το χώρο των δυνατοτήτων και επαναδιατυπώνει το υπόλοιπο ερώτημα: είναι οι δύο διαστάσεις πραγματικά ιδιαίτερες ή υπάρχει και εκεί ένα αντιπαράδειγμα;

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

Ο αυξανόμενος ρόλος της AI στα Μαθηματικά

Οι μαθηματικοί που εργάζονται με μεγάλα γλωσσικά μοντέλα έχουν πρόσφατα παράγει αρκετά αξιοσημείωτα αποτελέσματα και το αντιπαράδειγμα εικασίας του Ιακωβίου ξεχωρίζει από πολλές προηγούμενες προόδους. Αντί να επικεντρώνεται σε μια αναζήτηση ωμής βίας, η συνεργασία μεταξύ του Alpöge και του Claude Fable 5 παρήγαγε μια συνοπτική, ελεγχόμενη από τον άνθρωπο απάντηση - το είδος του αποτελέσματος που οι μαθηματικοί μπορούν να επαληθεύσουν και να βασιστούν.

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

Τι σημαίνει για το μέλλον

Τι σημαίνει αυτό για το μέλλον των μαθηματικών — και για τους ανθρώπους μαθηματικούς — μένει να φανεί, όπως σημείωσε η SciTechDaily. Το αντιπαράδειγμα δεν καθιστά τους μαθηματικούς απαρχαιωμένους. Αν μη τι άλλο, οξύνει το ανοιχτό ερώτημα και δίνει στους ερευνητές έναν ακριβή νέο στόχο. Ωστόσο, ενισχύει ότι η τεχνητή νοημοσύνη έχει προχωρήσει πέρα ​​από τη σύνοψη των σχολικών βιβλίων και στην καρδιά της δημιουργικής μαθηματικής εργασίας.

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

Μείνετε μπροστά από την τεχνητή νοημοσύνη

Ο ρυθμός της ανακάλυψης που βασίζεται στην τεχνητή νοημοσύνη επιταχύνεται σε όλη την επιστήμη, τα μαθηματικά και τη βιομηχανία. Προσθέστε σελιδοδείκτη στο γραφείο μας [έκτακτες ειδήσεις AI] (https://aibuzzwire.news) για συνεχή κάλυψη των κυκλοφοριών μοντέλων, των ερευνητικών ανακαλύψεων και των αλλαγών πολιτικής.

Διαβάστε περισσότερα νέα AI →