Μια μαθηματική θεωρία που άντεχε αναπάντητη για 87 χρόνια κατέρριψε πρόσφατα η τεχνητή νοημοσύνη, σε μια εξέλιξη που συζητήθηκε ευρέως στη διεθνή επιστημονική κοινότητα. Ο μαθηματικός Λεβέντ Αλπόγκε, ο οποίος εργάζεται στην εταιρεία Anthropic, ανακοίνωσε ότι εντόπισε ένα αντιπαράδειγμα στην εικασία του Ιακωβιανού με τη βοήθεια του μοντέλου τεχνητής νοημοσύνης Claude Fable 5. Η εικασία του Ιακωβιανού θεωρείται ένα από τα πιο δύσκολα προβλήματα της αλγεβρικής γεωμετρίας. Η ανακοίνωση έγινε μέσω της πλατφόρμας X.
Το αντιπαράδειγμα και η ανακοίνωση
Ο Λεβέντ Αλπόγκε δημοσίευσε μια ανάρτηση στο X, στην οποία γνωστοποίησε ότι εντόπισε ένα αντιπαράδειγμα στην εικασία του Ιακωβιανού. Για την ανακάλυψη χρησιμοποίησε το μεγάλο γλωσσικό μοντέλο Claude Fable 5 της Anthropic, το οποίο είχε κυκλοφορήσει στο ευρύ κοινό μόλις λίγες εβδομάδες νωρίτερα. Το αποτέλεσμα έδειξε ότι η εικασία είναι ψευδής στις τρεις διαστάσεις και πάνω, ενώ η αρχική εκδοχή των δύο διαστάσεων παραμένει άλυτη μέχρι σήμερα. Το αντιπαράδειγμα που εντόπισε το μοντέλο περιγράφηκε ως αξιοσημείωτα απλό, κάτι που εξέπληξε μέρος της μαθηματικής κοινότητας.
Η ανακοίνωση ήρθε σε μια περίοδο όπου εκατομμύρια άνθρωποι σε όλο τον κόσμο συνέρχονταν από τον ενθουσιασμό του τελικού του Παγκοσμίου Κυπέλλου της FIFA. Παράλληλα με αυτόν τον ενθουσιασμό, ένα διαφορετικό είδος κινητοποίησης καταγράφηκε στους κόλπους της μαθηματικής κοινότητας, καθώς η είδηση για την κατάρριψη της εικασίας του Ιακωβιανού διαδόθηκε γρήγορα ανάμεσα σε ειδικούς. Η ανακάλυψη αυτή δεν αποτελεί μεμονωμένο περιστατικό, καθώς εντάσσεται σε μια σειρά αντίστοιχων μαθηματικών επιτευγμάτων που έχουν σημειωθεί από μαθηματικούς σε συνεργασία με μεγάλα γλωσσικά μοντέλα τεχνητής νοημοσύνης το τελευταίο διάστημα.
Τι είναι η εικασία του Ιακωβιανού
Για να κατανοήσει κανείς τη σημασία της ανακάλυψης, χρειάζεται πρώτα να γνωρίζει τι είναι μια μαθηματική εικασία: μια ιδέα την οποία ορισμένοι επιστήμονες θεωρούν αληθή, χωρίς όμως να έχει αποδειχθεί ή καταρριφθεί επίσημα. Η εικασία του Ιακωβιανού αφορά συναρτήσεις που λειτουργούν σαν μικρές μηχανές: δέχονται έναν ή περισσότερους αριθμούς και παράγουν άλλους αριθμούς, σύμφωνα με συγκεκριμένο κανόνα ή εξίσωση. Στη συγκεκριμένη περίπτωση, οι συναρτήσεις βασίζονται σε πολυώνυμα, όπου οι αριθμοί αντιπροσωπεύουν σημεία σε έναν χώρο, όπως οι συντεταγμένες πάνω σε έναν χάρτη.
Όταν μια τέτοια συνάρτηση δέχεται αριθμούς και παράγει άλλους, ουσιαστικά μετακινεί σημεία μέσα στον χώρο. Οι μαθηματικοί μπορούν να ελέγξουν πόσο ομαλά πραγματοποιείται αυτή η μετακίνηση υπολογίζοντας ένα μέγεθος γνωστό ως Ιακωβιανή ορίζουσα. Η εικασία του Ιακωβιανού διατύπωνε συγκεκριμένες προϋποθέσεις σχετικά με αυτή την ορίζουσα, οι οποίες θα έπρεπε να συνεπάγονται συγκεκριμένες ιδιότητες για τη συνάρτηση. Το πρόβλημα αυτό αντιστεκόταν σε αποδείξεις για περισσότερο από έναν αιώνα, γεγονός που καθιστά την κατάρριψή του στις τρεις διαστάσεις και πάνω ιδιαίτερα αξιοσημείωτη για την επιστημονική κοινότητα. Η εκδοχή των δύο διαστάσεων παραμένει, ωστόσο, ένα ανοιχτό ερώτημα για τους μαθηματικούς.
