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.

Matematika

Buckmasteris ir Leventas Alpöge, „Anthropic“ dirbantis matematikas, apie metus naudojo DI įrankius, siekdami išplėsti Diego Córdobos ir Luiso Martínezo-Zoroa pradėtą tyrimų programą. Jų darbas, paskelbtas vėlai pirmadienį kartu su formaliu patikrinimu „Lean“ įrodymų asistentu, parodė, kad kelios su Navier-Stokes lygtimis glaudžiai susijusios skysčių lygtys, įskaitant 3D nespaudžiamųjų skysčių Eulerio lygtis, gali suformuoti singuliarumus per baigtinį laiką esant tolydžiai priverstinei jėgai. Fildso medalio laureatas Terence'as Tao rezultatus pavadino „nepaprastu pasiekimu“ ir teigė nematantis „jokių esminių kliūčių“ pritaikyti šiuos metodus visoms Navier-Stokes lygtims.newscientist+2

Navier-Stokes lygtys, aprašančios skysčių judėjimą, yra viena iš septynių Tūkstantmečio premijos problemų, nustatytų Clay matematikos instituto, už kiekvieną iš jų skiriama 1 mln. dolerių premija. Matematikai du šimtmečius bandė nustatyti, ar šių lygčių sprendiniai visada išlieka tolydūs, ar gali virsti singuliarumais.scientificamerican

Ginčas

Pagal Buckmasterio viešą pareiškimą, gandai apie jo ir Alpöge pažangą „OpenAI“ pasiekė apie rugsėjo 3 d. Po kelių dienų „OpenAI“ mokslininkas Sébastienas Bubeckas jam pasakė, kad vidinis modelis sukūrė maždaug 100 puslapių įrodymą, išplečiantį rezultatą visoms priverstinėms Navier-Stokes lygtims. Buckmasteris teigia, kad bendrovės pastangos prasidėjo tik sužinojus apie jo darbą ir kad jos sekė tuo pačiu siauru techniniu požiūriu, nukreiptu į „priverstinės jėgos“ terminą Clay problemos formuluotėje, kurį jis ir Alpöge tyliai tyrinėjo.officechai+1

Buckmasteris sako, kad Bubeckas du kartus spaudė pašalinti Alpöge iš autorių sąrašo, nurodydamas jo darbą „Anthropic“ kaip komplikaciją. Kai Buckmasteris pasakė, kad paviešins informaciją, jis teigia, kad Bubeckas atsakė: „Kodėl norėtum sugriauti savo karjerą?“ Jis taip pat sako klausęs, ar „OpenAI“ modelis buvo apmokytas naudojant jo privačius „Codex“ sesijos duomenis, kuriuose buvo įrodymų juodraščiai. Jis teigia negavęs aiškaus atsakymo.scientificamerican+1

Bubeckas atsakė platformoje X, pavadindamas kaltinimus „melagingais ir kurstančiais“ ir teigdamas, kad veikė „laikydamasis akademinių normų“. Jis pažadėjo pateikti išsamesnį pareiškimą.officechai

Kas liko neišspręsta

„OpenAI“ teigiamas Navier-Stokes įrodymas nebuvo paviešintas ar patikrintas išorės matematikų. Net ir patikrinti Buckmasterio-Alpöge rezultatai nagrinėja priverstines susijusių lygčių versijas, o ne nepriverstinę Navier-Stokes problemą, kaip ją supranta dauguma ekspertų, vertinančių Tūkstantmečio premiją. Davidas Silvesteris iš Mančesterio universiteto pažymėjo, kad dabartinis darbas vis dėlto gali būti pakankamas premijai gauti, o Camilla Nobili iš Sario universiteto įspėjo, kad norint išplėsti iki visų Navier-Stokes lygčių, reikės daugiau nei tiesiog pakartoti tą patį metodą.glitchwire+3

„Dėl šio rezultato niekas nepasikeis srityse, kuriose naudojamos Navier-Stokes lygtys“, – sakė Silvesteris. „Tai, tiesą sakant, tik matematinė smulkmena.“ Didesnis klausimas – ar konkuruojančios DI laboratorijos iškraipys matematinių atradimų normas – gali pasirodyti sunkiau išsprendžiamas nei pačios lygtys.newscientist