Η Τεχνητή Νοημοσύνη έλυσε το «Πρόβλημα της Χιλιετίας»;

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

Έχετε αναρωτηθεί ποτέ γιατί είναι τόσο προβλέψιμη και ομαλή η ροή του νερού όταν ανοίγετε τη βρύση; Ίσως το ερώτημα σας φαίνεται αδιάφορο, όχι όμως και για την επιστημονική κοινότητα!

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

Τι είναι οι διαφορικές εξισώσεις Navier–Stokes

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

Και επειδή σχεδόν τα πάντα γύρω μας είναι ή κινούνται μέσα σε ρευστά, οι εξισώσεις αυτές χρησιμοποιούνται καθημερινά σε τομείς όπως η Μετεωρολογία, για την πρόγνωση του καιρού και την μοντελοποίηση της κίνησης τυφώνων, η Αεροδυναμική, για το σχεδιασμό αεροπλάνων, πυραύλων αλλά και οχημάτων της Formula 1, ακόμα και στα Video Games, για την ρεαλιστική προσομοίωση του καπνού, της φωτιάς και του νερού!

Γιατί θεωρούνται λοιπόν περίφημες; Διότι, σχετίζονται με ένα ακανθώδες ερώτημα που βασανίζει ειδικότερα τους μαθηματικούς: Είναι αυτές οι εξισώσεις πάντα «ομαλές» ή μπορούν υπό ακραίες συνθήκες να οδηγήσουν σε μαθηματική κατάρρευση;

Πώς καταρρέει μια εξίσωση;

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

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

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

Δηλαδή; Ακυρώνονται οι νόμοι της φυσικής; Επειδή φυσικά κανένα πραγματικό υγρό ή αέριο δεν μπορεί να κινηθεί με άπειρη ταχύτητα, το εύρημα αυτό δεν ακυρώνει τους νόμους της φυσικής—αποκαλύπτει όμως ότι οι ίδιες οι εξισώσεις Navier–Stokes έχουν όρια και ενδέχεται να μην περιγράφουν πιστά την πραγματικότητα σε ακραίες οριακές καταστάσεις.

Αν αποδειχθεί, λοιπόν, τελικά, ορθό ότι οι εξισώσεις Navier–Stokes μπορούν να οδηγήσουν σε μαθηματική κατάρρευση, αυτό σημαίνει ότι οι εξισώσεις που χρησιμοποιούμε εδώ και 200 χρόνια έχουν φυσικά όρια. Καθώς, για αιώνες, οι επιστήμονες υπέθεταν ότι οι εξισώσεις ήταν πάντα «ομαλές» (smooth) για όλες τις αρχικές συνθήκες, η απόδειξη του αντίθετου αλλάζει τη θεωρητική υδροδυναμική.

Η κούρσα των 10.000 AI Agents

Η ανακάλυψη της OpenAI ήταν το αποτέλεσμα μιας δραματικής «κούρσας» στον χώρο της τεχνητής νοημοσύνης και των μαθηματικών, καθώς πάνω στο ζήτημα εργάζονταν επίσης  ερευνητές και ερευνήτριες του Χάρβαρντ, του Πανεπιστημίου της Νέας Υόρκης και του Τεχνολογικού Ινστιτούτου της Καλιφόρνια (Caltech) οι οποίοι είχαν σημειώσει σημαντική πρόοδο με τη βοήθεια μεγάλων γλωσσικών μοντέλων όπως το Claude.

Η OpenAI έκοψε πρώτη το νήμα, επιστρατεύοντας αρχικά 1.000 και στη συνέχεια 10.000 συντονισμένους AI agents, προκειμένου να φτάσει στην τελική απόδειξη. Ωστόσο, παρά τον ενθουσιασμό της κοινότητας της τεχνητής νοημοσύνης, ο επιστημονικός κόσμος κρατά τις επιφυλάξεις του. Άλλωστε, η διαδρομή μέχρι την επίσημη αναγνώριση είναι μακρά, καθώς το Clay Mathematics Institute επιβάλλει αυστηρό πρωτόκολλο: Δημοσίευση σε έγκριτο περιοδικό, ενδελεχή έλεγχο και πολυετή περίοδο επαλήθευσης από την παγκόσμια μαθηματική κοινότητα.

Εντούτοις, εάν η λύση που πρότεινε η OpenAI καταφέρει να περάσει αλώβητη από τη διαδικασία του peer review,  η τεχνητή νοημοσύνη δεν θα αποτελεί πλέον ένα εργαλείο στο πλαίσιο της έρευνας αλλά συν-ερευνήτρια του ανθρώπου: Η OpenAI δεν χρησιμοποίησε την τεχνητή νοημοσύνη απλώς για γρήγορους υπολογισμούς. Επιστράτευσε 10.000 αυτόνομους AI agents που συνεργάστηκαν για να κατασκευάσουν μια εξαιρετικά σύνθετη μαθηματική απόδειξη. Θα αποδείξει παράλληλα, ότι η τεχνητή νοημοσύνη μπορεί να συνδράμει στην επίλυση προβλημάτων που θεωρούνταν απρόσιτα για τον άνθρωπο  λόγω της τεράστιας υπολογιστικής και λογικής τους πολυπλοκότητας.