OpenAI: Η AI υποστηρίζει ότι έλυσε ένα από τα μεγαλύτερα άλυτα προβλήματα των μαθηματικών σε 88 ώρες

Μπορεί η τεχνητή νοημοσύνη να λύσει μέσα σε λίγες ημέρες ένα μαθηματικό πρόβλημα που απασχολεί τους επιστήμονες εδώ και δεκαετίες; Η OpenAI υποστηρίζει πως η απάντηση είναι «ναι», ανακοινώνοντας μια σημαντική εξέλιξη γύρω από το Navier–Stokes, ένα από τα επτά περίφημα «Προβλήματα της Χιλιετίας» που θεωρούνται από τα δυσκολότερα ανοιχτά ερωτήματα των μαθηματικών.

Σύμφωνα με την εταιρεία, ένα εσωτερικό σύστημα τεχνητής νοημοσύνης, ισχυρότερο από το μοντέλο GPT-6 Astra, κατάφερε να παραγάγει μια απόδειξη μέσα σε μόλις 88 ώρες. Στη διαδικασία συμμετείχαν περίπου 10.000 AI agents, δηλαδή συστήματα που μπορούν να εκτελούν αυτόνομα επιμέρους εργασίες, δουλεύοντας παράλληλα πάνω στο ίδιο πρόβλημα. Στη συνέχεια, το GPT-6 Astra χρειάστηκε περίπου 17 ώρες για να επαληθεύσει τη λύση, σύμφωνα με την OpenAI.

Το Navier–Stokes αφορά τις εξισώσεις που χρησιμοποιούνται για την περιγραφή της κίνησης ρευστών, όπως το νερό και ο αέρας. Το θεμελιώδες ερώτημα είναι αν, σε τρεις διαστάσεις, οι λύσεις των εξισώσεων παραμένουν ομαλές και μοναδικές ή αν μπορούν να εμφανίσουν μια μαθηματική «ανωμαλία» και να καταρρεύσουν σε πεπερασμένο χρόνο. Το Clay Mathematics Institute εξακολουθεί να το καταγράφει ως άλυτο πρόβλημα.

Γιατί η ανακοίνωση δεν σημαίνει ακόμη ότι το Πρόβλημα της Χιλιετίας λύθηκε

Παρά τον εντυπωσιακό ισχυρισμό, υπάρχει μια κρίσιμη λεπτομέρεια: η λύση της OpenAI δεν έχει ακόμη αναγνωριστεί ως επίσημη λύση του Προβλήματος της Χιλιετίας.

Το Clay Mathematics Institute έχει συγκεκριμένη διαδικασία για την απονομή του βραβείου του 1 εκατ. δολαρίων. Μια προτεινόμενη λύση πρέπει πρώτα να δημοσιευθεί σε επιστημονικό έντυπο που πληροί τα απαιτούμενα κριτήρια, να περάσουν τουλάχιστον δύο χρόνια από τη δημοσίευσή της και να έχει αποκτήσει γενική αποδοχή από τη διεθνή μαθηματική κοινότητα.

Μάλιστα, από τα επτά Προβλήματα της Χιλιετίας, μόνο ένα έχει μέχρι σήμερα επισήμως επιλυθεί: η Εικασία του Πουανκαρέ, για την οποία ο Γκριγκόρι Περελμάν αρνήθηκε τελικά να λάβει το χρηματικό βραβείο.

Η OpenAI, σύμφωνα με τις σχετικές αναφορές, δεν σκοπεύει να διεκδικήσει το έπαθλο του 1 εκατ. δολαρίων.

Από τις 88 ώρες στη νέα εποχή των AI agents

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

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

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

Η μεγάλη διαμάχη με τους μαθηματικούς

Η ανακοίνωση, ωστόσο, δεν ήρθε χωρίς αντιδράσεις. Ο μαθηματικός Tristan Buckmaster του New York University και ο ερευνητής Levent Alpöge της Anthropic είχαν εργαστεί πάνω σε σχετικό πρόβλημα και υποστήριξαν ότι βρίσκονταν κοντά σε σημαντική δική τους ανακοίνωση.

Ο Buckmaster εξέφρασε ανησυχίες σχετικά με το εάν η OpenAI θα μπορούσε να έχει επηρεαστεί από τη δουλειά τους. Ιδιαίτερη συζήτηση προκάλεσε το γεγονός ότι τμήμα της ερευνητικής τους εργασίας είχε αποθηκευτεί σε εργαλείο της OpenAI.

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

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

Το στοίχημα για την επιστήμη

Η υπόθεση Navier–Stokes δείχνει με εντυπωσιακό τρόπο πόσο γρήγορα εξελίσσεται η AI στην επιστημονική έρευνα. Μέχρι πρόσφατα, τα μεγάλα γλωσσικά μοντέλα αντιμετωπίζονταν κυρίως ως εργαλεία για αναζήτηση πληροφοριών, συγγραφή κειμένων ή προγραμματισμό. Πλέον, οι εταιρείες τεχνητής νοημοσύνης επιχειρούν να τα μετατρέψουν σε συστήματα που μπορούν να συμμετέχουν ενεργά στη διαδικασία της ανακάλυψης.

Το αν η OpenAI έχει πράγματι λύσει το Navier–Stokes, όμως, δεν θα το αποφασίσει η ίδια η εταιρεία. Θα χρειαστεί η αξιολόγηση της μαθηματικής κοινότητας και η διαδικασία που έχει θεσπίσει το Clay Mathematics Institute.

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

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