Terence Tao

Τέρενς Τάο: «Αξιοσημείωτο επίτευγμα» οι αποδείξεις ρευστοδυναμικής με τη βοήθεια ΤΝ

Ο μαθηματικός του Πανεπιστημίου της Νέας Υόρκης (NYU) Τρίσταν Μπάκμαστερ και ο ερευνητής της Anthropic Λέβεντ Αλπόγκε δημοσίευσαν την Κυριακή αποδείξεις με τη βοήθεια τεχνητής νοημοσύνης και επαληθευμένες μέσω Lean, οι οποίες δείχνουν ότι αρκετές εξισώσεις ρευστών μπορούν να εμφανίσουν…