Navier-Stokes

Tyrėjai nustatė neatitikimų „OpenAI“ pateiktame Navjė ir Stokso lygčių įrodyme

Matematikai tikrina didelį kiekį „OpenAI“ spalio 6 d. paskelbtų dirbtinio intelekto sugeneruotų įrodymų, ir kai kurie jų radiniai kelia abejonių. Kembridžo universiteto tyrėjų komanda teigia, kad bendrovės anksčiau pateikto Navjė ir Stokso lygčių įrodymo tekstinė ir kompiuteriu patikrinama versijos nesutampa.…

Matematikai: „OpenAI“ dirbtinio intelekto sukurtas įrodymas yra sunkiai suprantamas

„OpenAI“ pirmadienį, rugsėjo 21 d., paskelbė bendradarbiaujanti su nepriklausoma matematikos ir dirbtinio intelekto patariamąja grupe, įsikūrusia Prinstono Pažangiųjų studijų institute. Tai įvyko po kelias savaites trukusios kritikos dėl ginčytino ir sunkiai įskaitomo DI sugeneruoto Navjė ir Stokso tūkstantmečio problemos įrodymo.…

„OpenAI“ teigia išsprendusi per 100 matematikos uždavinių, tačiau įrodymų nepateikia

„OpenAI“ rugsėjo 21 d. paskelbė, kad neįvardytas vidinis modelis, pradėtas treniruoti rugpjūčio 28 d., išsprendė daugiau nei 100 ilgai spręstų atvirų problemų daugumoje matematikos sričių, įskaitant Navjė-Stokso tūkstantmečio premijos uždavinį. Bendrovė nepateikė jokių įrodymų, jokio problemų sąrašo ar išorinio patikrinimo,…

Inžinieriai: „OpenAI“ pateiktas Navier-Stokes lygčių įrodymas artimiausiu metu nepakeis skysčių dinamikos

Rugsėjo 8 d. „OpenAI“ paskelbė, kad neišleista vidinė dirbtinio intelekto sistema pateikė įrodymą, jog trimatės Navier-Stokes lygtys per baigtinį laiką gali suformuoti singuliarumą, taip potencialiai išsprendžiant vieną iš šešių likusių „Millennium“ prizo uždavinių, kuriuos 2000 metais iškėlė Clay matematikos institutas.…

25 Fildso medalio laureatų įspėja, kad dirbtinio intelekto skelbiami matematikos proveržiai kelia grėsmę disciplinai

Rugsėjo 8 d. „OpenAI“ paskelbė, kad neišleistas vidinis DI modelis išsprendė Navier-Stokes egzistavimo ir glotnumo problemą, kuri yra viena iš septynių tūkstantmečio matematikos problemų, koordinuodamas maždaug 10 000 DI agentų per 88 valandas. Šis teiginys, kuriam dar reikia nepriklausomo patvirtinimo,…

OpenAI teigia, kad 10 000 dirbtinio intelekto agentų išsprendė 90 metų senumo matematikos problemą

„OpenAI“ antradienį paskelbė, kad neišleistas vidinis dirbtinio intelekto modelis, dirbantis per maždaug 10 000 koordinuotų agentų, pateikė Navier-Stokes egzistavimo ir glotnumo problemos įrodymą. Tai viena iš septynių „Millennium“ prizo problemų, už kurių išsprendimą „Clay Mathematics Institute“ skiria 1 milijoną dolerių.…

Dirbtinio intelekto proveržis sprendžiant Navier-Stokes lygtis sukėlė ginčą tarp „OpenAI“ ir „Anthropic“ tyrėjų

Ginčas dėl vienos garsiausių neišspręstų matematikos problemų kilo antradienį, kai NYU matematikas Tristanas Buckmasteris paskelbė pareiškimą, kuriame apkaltino „OpenAI“ skubėjimu pasisavinti nuopelnus už darbą, paremtą jo paties tyrimais, ir spaudimu pašalinti bendraautorių dėl jo ryšių su konkuruojančia DI įmone.