Το επίτευγμα της OpenAI: Το μαθηματικό «τείχος» 90 ετών που έπεσε σε 88 ώρες

Πελοπόννησος Newsroom

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

Σύμφωνα με την εταιρεία, η λύση προέκυψε μέσα σε περίπου 88 ώρες, με τη συμμετοχή περίπου 10.000 AI agents, οι οποίοι εργάστηκαν παράλληλα και συντόνισαν διαφορετικές προσεγγίσεις. Το πρόβλημα παρέμενε ανοιχτό για περίπου 90 χρόνια.

Τι είναι το πρόβλημα Navier-Stokes

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

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

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

10.000 AI agents εργάστηκαν παράλληλα

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

Η εταιρεία αναφέρει ότι περίπου 10.000 agents συμμετείχαν στην προσπάθεια για το Navier-Stokes. Οι διαφορετικές ομάδες ακολούθησαν ξεχωριστές προσεγγίσεις, ενώ στη συνέχεια τα πιο χρήσιμα ευρήματα συνδυάστηκαν για την εξέλιξη της τελικής λύσης.

Η προσπάθεια ολοκληρώθηκε στις 5 Σεπτεμβρίου, περίπου 88 ώρες μετά την έναρξή της. Η μαθηματική απόδειξη στη συνέχεια μεταφέρθηκε στο σύστημα Lean, ώστε να ελεγχθεί μηχανικά η λογική της.

Ο συγκεκριμένος έλεγχος χρειάστηκε ακόμη 17 ώρες, με τη χρήση του GPT-6 Astra, σύμφωνα με την OpenAI.

Δεν έχει ακόμη κριθεί οριστικά η μαθηματική απόδειξη

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

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

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

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

Με πληροφορίες από BBC

Η «Πελοπόννησος» και το pelop.gr σε ανοιχτή γραμμή με τον Πολίτη

Η φωνή σου έχει δύναμη – στείλε παράπονα, καταγγελίες ή ιδέες για τη γειτονιά σου.

Viber: +306909196125

Στείλε μήνυμα στο Viber

Ακολουθήστε μας για όλες τις ειδήσεις στο Bing News και το Google News