μαθηματική απόδειξη

OpenAI: λανθασμένη μετάφραση μαθηματικών σε Lean για την απόδειξη Navier-Stokes

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