Αυτοδίδακτος κλινικός γιατρός και μια 16ωρη συνεδρία τεχνητής νοημοσύνης έλυσαν ένα από τα ανοιχτά προβλήματα των εφαρμοσμένων μαθηματικών
Εν συντομία
Ένας νευροχειρουργός από το Πεκίνο χρησιμοποίησε GPT-5.6 για να αποδειχθεί μια εικοσαετής μαθηματική εικασία, σηματοδοτώντας μια μετατόπιση στο ποιος μπορεί να παράγει — και να επαληθεύσει — έρευνα.
Η Shanmu Jin, μεταδιδακτορική ερευνήτρια και ειδικευόμενη νευροχειρουργός στο Νοσοκομείο Peking Union Medical College στο Πεκίνο, απέδειξε την Εικασία του Crouzeix — ένα πρόβλημα στην ανάλυση πινάκων που παρέμενε ανοιχτό για πάνω από δύο δεκαετίες. Το αποφασιστικό επιχείρημα δεν προέκυψε από ένα τμήμα μαθηματικών: αναδύθηκε κατά τη διάρκεια μιας 16ωρης αυτόνομης έρευνας. GPT-56 Sol μέσα ChatGPT Λειτουργία εργασίας, καθοδηγούμενη από μια προσεκτικά σχεδιασμένη προτροπή που σχεδίασε ο ίδιος ο Jin.
Ο Jin έφτασε στο πρόβλημα μέσω μιας μη γραμμικής διαδρομής. Το προπτυχιακό του υπόβαθρο ήταν στη γεωλογία. Αργότερα απέκτησε πτυχίο ιατρικής και έχτισε τις μαθηματικές του γνώσεις μέσω αυτοκατευθυνόμενης μελέτης, αρχικά με κίνητρο την έρευνα για τους διακρανιακούς υπερήχους. Η Εικασία του Crouzeix, που διατυπώθηκε το 2004, αφορά τη σχέση μεταξύ της φασματικής νόρμας ενός πίνακα και του μέγιστου ενός πολυωνύμου στο αριθμητικό του εύρος - μια συμπαγή κυρτή περιοχή του μιγαδικού επιπέδου που καταγράφει περισσότερο τη συμπεριφορά ενός πίνακα από ό,τι μόνο τις ιδιοτιμές του. Η επίλυσή της έχει άμεσες εφαρμογές στην ανάλυση συναρτήσεων πίνακα, επαναληπτικών λύσεων όπως το GMRES, και ορθολογικών μεθόδων Krylov.
Αντί να υποκινήσει το μοντέλο διαδραστικά, ο Jin εκτέλεσε μια εκτεταμένη αυτόνομη συνεδρία χρησιμοποιώντας μια αρχιτεκτονική υποδείξεων προσαρμοσμένη από ένα OpenAI είχε αναπτύξει ένα προηγούμενο μαθηματικό αποτέλεσμα, την εικασία Cycle Double Cover. Η εγκατάσταση αρνήθηκε την πρόσβαση στο μοντέλο στο διαδίκτυο. Ανέπτυξε ανταγωνιστικούς υποπράκτορες επιφορτισμένους με την ανεξάρτητη ανάπτυξη και δοκιμή αντοχής σε διαφορετικές στρατηγικές απόδειξης, με σαφείς οδηγίες κατά της πρόωρης σύγκλισης και την απαίτηση να διαψεύδονται τα υποψήφια επιχειρήματα μόνο μέσω συγκεκριμένων αντιπαραδειγμάτων. Το μοντέλο είχε οδηγίες να συνεχιστεί μέχρι μια πλήρης απόδειξη να επιβιώσει από εσωτερική αντιπαραθετική αναθεώρηση. Η προκύπτουσα προδημοσίευση, που δημοσιεύτηκε στις 27 Ιουλίου 2026, περιλαμβάνει την πλήρη προτροπή, διαδοχικά προσχέδια χειρόγραφων, μια τυποποίηση Lean και έναν έλεγχο αξιωμάτων.
Επιβεβαίωση από Ομότιμους και το Ερώτημα του Ποιος Κάνει Μαθηματικά Τώρα
Η απόδειξη έχει ελεγχθεί και επιβεβαιωθεί από τον μαθηματικό του Cornell, Alex Townsend, την αριθμητική αναλύτρια Anne Greenbaum, και τον ίδιο τον Michel Crouzeix — τον αρχικό συγγραφέα της εικασίας. Η επίσημη αξιολόγηση από ομοτίμους βρίσκεται σε εξέλιξη. Οκτώ ημέρες μετά την εμφάνιση της αρχικής προδημοσίευσης, οι μαθηματικοί Emiel Lorist και Felix Schwenninger δημοσίευσαν μια ανεξάρτητη απόδειξη πέντε σελίδων χρησιμοποιώντας μια διαφορετική μέθοδο, συνδυάζοντας την κλασική θεωρία δυναμικού διπλής στρώσης με ένα λήμμα διαταραχών για 2-διαστολές. Ο Jin χαιρέτισε το παράλληλο αποτέλεσμα ως συμπλήρωμα της δικής του εργασίας.
Το επεισόδιο αυτό καθιστά ορατή μια δομική μετατόπιση στη μαθηματική έρευνα που είναι δύσκολο να αγνοηθεί. Όταν ένα πρόβλημα που είναι ανοιχτό από το 2004 επιλύεται από έναν αυτοδίδακτο κλινικό ιατρό χρησιμοποιώντας ένα εργαλείο τεχνητής νοημοσύνης για καταναλωτές, τα εμπόδια στην παραγωγή νέων αποτελεσμάτων μειώνονται σημαντικά — ενώ η εμπειρογνωμοσύνη που απαιτείται για την επαλήθευση αυτών των αποτελεσμάτων γίνεται αντίστοιχα πιο συγκεντρωμένη και πιο πολύτιμη.
Για τον τομέα της Τεχνητής Νοημοσύνης, η περίπτωση προσφέρει μια απτή επίδειξη του τι μπορούν να επιτύχουν τα μοντέλα πρωτοποριακών γλωσσών όταν τους παρέχονται καλά δομημένες αυτόνομες εργασίες και επαρκής υπολογιστικός χρόνος. Το κατά πόσον η μαθηματική κοινότητα διαθέτει την υποδομή για να απορροφήσει τον όγκο των αποτελεσμάτων που μπορεί να ακολουθήσουν παραμένει ένα ανοιχτό ερώτημα.
Αποποίηση Eυθυνών
Σύμφωνα με το Οδηγίες του έργου Trust, σημειώστε ότι οι πληροφορίες που παρέχονται σε αυτήν τη σελίδα δεν προορίζονται και δεν πρέπει να ερμηνεύονται ως νομικές, φορολογικές, επενδυτικές, χρηματοοικονομικές ή οποιαδήποτε άλλη μορφή συμβουλής. Είναι σημαντικό να επενδύσετε μόνο ό,τι έχετε την πολυτέλεια να χάσετε και να αναζητήσετε ανεξάρτητες οικονομικές συμβουλές εάν έχετε οποιεσδήποτε αμφιβολίες. Για περισσότερες πληροφορίες, προτείνουμε να ανατρέξετε στους όρους και τις προϋποθέσεις, καθώς και στις σελίδες βοήθειας και υποστήριξης που παρέχονται από τον εκδότη ή τον διαφημιστή. MetaversePost δεσμεύεται για ακριβείς, αμερόληπτες αναφορές, αλλά οι συνθήκες της αγοράς υπόκεινται σε αλλαγές χωρίς προειδοποίηση.
Σχετικά με το Συγγραφέας
Alisa, αφοσιωμένη δημοσιογράφος στο MPost, ειδικεύεται σε κρυπτονομίσματα, τεχνητή νοημοσύνη, επενδύσεις και στον εκτεταμένο τομέα των Web3. Με έντονο μάτι για τις αναδυόμενες τάσεις και τεχνολογίες, παρέχει ολοκληρωμένη κάλυψη για την ενημέρωση και την εμπλοκή των αναγνωστών στο συνεχώς εξελισσόμενο τοπίο της ψηφιακής χρηματοδότησης.
Περισσότερα άρθρα
Alisa, αφοσιωμένη δημοσιογράφος στο MPost, ειδικεύεται σε κρυπτονομίσματα, τεχνητή νοημοσύνη, επενδύσεις και στον εκτεταμένο τομέα των Web3. Με έντονο μάτι για τις αναδυόμενες τάσεις και τεχνολογίες, παρέχει ολοκληρωμένη κάλυψη για την ενημέρωση και την εμπλοκή των αναγνωστών στο συνεχώς εξελισσόμενο τοπίο της ψηφιακής χρηματοδότησης.
