Δεν φτάνει που θα μας πάρει τις δουλειές θα μας πάρει και τα βραβεία τώρα!

 

   Τις τελευταίες μέρες υπάρχει μια έντονη παραφιλολογία ότι η εταιρεία τεχνητής νοημοσύνης Anthropic έχει επιλύσει ένα από τα επτά διάσημα Προβλήματα της Χιλιετίας (Millennium Prize Problems). Ότι το μοντέλο AI Claude έχει λύσει το πρόβλημα των εξισώσεων Navier–Stokes, η λύση βρίσκεται υπό εξέταση από ειδικούς και η ανακοίνωση θα γίνει πριν από την αρχική δημόσια προσφορά (IPO) της εταιρείας.

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

 Η Anthropic δεν έχει εκδώσει καμία σχετική ανακοίνωση ούτε έχει δημοσιεύσει κάποια επιστημονική εργασία (paper) που να υποστηρίζει τον ισχυρισμό.

Το πρόβλημα Navier-Stokes ανήκει στα περίφημα Προβλήματα της Χιλιετίας (Millennium Prize Problems). Πρόκειται για μια λίστα από επτά κορυφαία άλυτα μαθηματικά προβλήματα που θεσπίστηκαν το έτος 2000 από το Ινστιτούτο Μαθηματικών Clay. 

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

Το Πρόβλημα Navier-Stokes αφορά την κίνηση των ρευστών (δηλαδή των υγρών και των αερίων), όπως το νερό που κυλάει, ο αέρας που φυσάει ή ο καπνός που ανεβαίνει.

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

Το πρόβλημα που ζητάει λύση είναι μια αυστηρή μαθηματική απόδειξη ότι:

1. Για οποιοδήποτε υγρό ή αέριο, οι εξισώσεις έχουν πάντα μια ρεαλιστική λύση.

2. Η λύση αυτή δεν «σπάει» (δεν οδηγεί δηλαδή σε μαθηματικά παράλογα αποτελέσματα, όπως το να γίνει η ταχύτητα του νερού «άπειρη» σε κάποιο σημείο).

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