Η τεχνητή νοημοσύνη (AI) συνεχίζει να διευρύνει τα όρια των δυνατοτήτων της και πλέον φαίνεται πως εισέρχεται δυναμικά σε έναν από τους πιο απαιτητικούς επιστημονικούς τομείς: τα καθαρά μαθηματικά.
Το Claude Fable 5 της Anthropic βρίσκεται στο επίκεντρο της επιστημονικής κοινότητας, καθώς συνέβαλε στην ανατροπή μιας μαθηματικής εικασίας που παρέμενε άλυτη για σχεδόν εννέα δεκαετίες.
Η υπόθεση αφορά τη διάσημη Jacobian Conjecture, ένα πρόβλημα που διατυπώθηκε το 1939 και θεωρείται ένα από τα σημαντικότερα ανοικτά ζητήματα της αλγεβρικής γεωμετρίας. Εδώ και 87 χρόνια, δεκάδες κορυφαίοι μαθηματικοί επιχείρησαν να αποδείξουν ότι η εικασία ήταν σωστή, χωρίς όμως να καταφέρουν να δώσουν οριστική λύση.
Η ανατροπή ήρθε από τον μαθηματικό Levent Alpöge του Harvard, ο οποίος αποκάλυψε ότι χρησιμοποίησε το Claude Fable 5 ως συνεργάτη στην έρευνά του.
Το αποτέλεσμα ήταν η ανακάλυψη ενός αντιπαραδείγματος, δηλαδή ενός και μόνο παραδείγματος που αρκεί για να καταρρίψει μια μαθηματική εικασία, αποδεικνύοντας ότι δεν ισχύει σε όλες τις περιπτώσεις.
Με απλά λόγια, η Jacobian Conjecture υποστήριζε ότι μια συγκεκριμένη κατηγορία πολυωνυμικών συναρτήσεων μπορεί πάντοτε να αντιστραφεί, αρκεί να πληροί μία βασική μαθηματική προϋπόθεση που σχετίζεται με τον Ιακωβιανό πίνακα (Jacobian determinant).
Η εικασία αυτή δεν αποτελούσε απλώς μια θεωρητική άσκηση.
Επηρεάζει κλάδους όπως η αλγεβρική γεωμετρία, η θεωρία πολυωνύμων και άλλες περιοχές της σύγχρονης μαθηματικής έρευνας, ενώ επί δεκαετίες θεωρούνταν ένα από τα σημαντικότερα άλυτα προβλήματα του χώρου.
Παρότι δεν έχουν δημοσιοποιηθεί όλες οι λεπτομέρειες της διαδικασίας, ο Alpöge ανέφερε ότι το Claude Fable 5 συνέβαλε ουσιαστικά στην αναζήτηση του αντιπαραδείγματος.
Το αξιοσημείωτο είναι ότι στην περίπτωση αυτή η τεχνητή νοημοσύνη δεν χρειάστηκε να δημιουργήσει μια τεράστια μαθηματική απόδειξη.
Αντίθετα, εντόπισε μια συγκεκριμένη μαθηματική κατασκευή που παραβιάζει την εικασία.
Στα μαθηματικά, ένα τέτοιο αντιπαράδειγμα είναι αρκετό για να καταρρίψει ολόκληρη τη θεωρία. Αυτό καθιστά και την επαλήθευση της ανακάλυψης σημαντικά πιο εύκολη σε σχέση με μια πολύπλοκη απόδειξη εκατοντάδων σελίδων.
Παρότι αρκετοί μαθηματικοί έχουν ήδη εξετάσει το αποτέλεσμα και δεν έχουν εντοπίσει λάθη, η διαδικασία ανεξάρτητης επιβεβαίωσης συνεχίζεται. Οι ειδικοί επισημαίνουν ότι το ίδιο το αντιπαράδειγμα μπορεί να ελεγχθεί σχετικά εύκολα, ωστόσο δεν είναι ακόμη γνωστός ο ακριβής τρόπος με τον οποίο αξιοποιήθηκε το Claude Fable 5 κατά τη διάρκεια της έρευνας.
Ο καθηγητής Abhishek Saha από το Queen Mary University of London χαρακτήρισε την εξέλιξη ως πιθανότατα τη σημαντικότερη μέχρι σήμερα συμβολή της τεχνητής νοημοσύνης στην επίλυση ενός τόσο μεγάλου μαθηματικού προβλήματος.
Η συγκεκριμένη υπόθεση δεν σημαίνει ότι η τεχνητή νοημοσύνη αντικαθιστά τους μαθηματικούς. Αντίθετα, αναδεικνύει έναν νέο τρόπο συνεργασίας μεταξύ ανθρώπου και μηχανής.
Οι σύγχρονες AI πλατφόρμες μπορούν να εξετάζουν τεράστιους αριθμούς πιθανών λύσεων, να αναγνωρίζουν μοτίβα που ίσως διαφεύγουν από τον ανθρώπινο νου και να προτείνουν υποψήφιες μαθηματικές κατασκευές.
Η τελική αξιολόγηση, η κατανόηση και η επιστημονική τεκμηρίωση εξακολουθούν να αποτελούν έργο των ίδιων των ερευνητών.
Το Claude Fable 5 φαίνεται πως αποτελεί ακόμη ένα βήμα προς αυτή τη νέα πραγματικότητα, όπου η τεχνητή νοημοσύνη λειτουργεί ως ερευνητικός συνεργάτης και όχι απλώς ως εργαλείο παραγωγής κειμένου.
Αν η ανακάλυψη επιβεβαιωθεί οριστικά από τη διεθνή μαθηματική κοινότητα, θα πρόκειται για μία από τις σημαντικότερες στιγμές στην ιστορία του AI, καθώς θα είναι η μεγαλύτερη μέχρι σήμερα συμβολή ενός γλωσσικού μοντέλου στην ανατροπή ενός κορυφαίου μαθηματικού προβλήματος που παρέμενε άλυτο για σχεδόν έναν αιώνα.
