Compania a publicat marti demonstratia si o versiune formalizata in Lean astfel incat argumentul sa poata fi verificat OpenAI sustine ca sistemul a identificat un caz in care solutiile ecuatiilor dezvolta o singularitate insa demonstratia trebuie acum analizata de matematicieni pentru a se certifica daca problema a fost de fapt rezolvata sau nuProblema NavierStokes pune la incercare limitele ecuatiilor care descriu miscarea fluidelorEcuatiile NavierStokes descriu miscarea fluidelor precum apa si… citeste in continuare

Citește articolul complet pe Manager →