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