Επίλυση των εξισώσεων Navier-Stokes από την OpenAI: Μαθηματική πρόοδος ή τεχνητό παραθυράκι;

Η φύση της μαθηματικής διαμάχης

Η πρόσφατη ανακοίνωση της OpenAI για την επίλυση των εξισώσεων Navier-Stokes έχει προκαλέσει έντονες αντιδράσεις στην ακαδημαϊκή κοινότητα. Ενώ η απόδειξη φαίνεται να πληροί τα τυπικά κριτήρια του Clay Mathematics Institute για το έπαθλο του ενός εκατομμυρίου δολαρίων, πολλοί μαθηματικοί υποστηρίζουν ότι το μοντέλο εκμεταλλεύτηκε ένα «παραθυράκι» (loophole) στη διατύπωση του προβλήματος.

Το πρόβλημα του «blow-up» και η εξωτερική δύναμη

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

LLM και μαθηματική δημιουργικότητα

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