„OpenAI“ buria matematikų patariamąją tarybą, dirbtiniam intelektui išsprendus per 100 uždavinių

Pranešama, kad „OpenAI“ yra arti antrosios Tūkstantmečio premijos matematikos problemos sprendimo, nors jos pirmasis toks pareiškimas — rugsėjo 8 d. paskelbtas Navjė ir Stokso lygčių egzistavimo ir glotnumo problemos sprendimas — sulaukia vis didesnės matematikų kritikos. Jie teigia, kad bendrovė pasinaudojo problemos formuluotės spraga.

Ginčytina pergalė ir nauji horizontai

Bendrovės Navjė ir Stokso lygčių įrodymas, kurį per 88 valandas sugeneravo 10 000 autonominių DI agentų, veikiančių neišleistu vidiniu modeliu, buvo sutiktas kaip didelis pasiekimas. Tačiau, pasak „Scientific American“, įrodymas išsprendė problemos variantą, kuris remiasi dirbtine išorine jėga — požiūris, kurį daugelis ekspertų laiko atitrūkusiu nuo fizinės realybės, kurią šios lygtys turėtų aprašyti. „Svarbiausia problema lieka neišspręsta“, – „Scientific American“ sakė Čikagos universiteto matematikas Luisas Silvestre'as. „Clay instituto problema išspręsta, tačiau pagrindinė Navjė ir Stokso lygčių problema – ne“.scientificamerican+2

Nuo to laiko trys matematikai paskelbė įrodymą, rodantį, kad „OpenAI“ metodas niekada negali būti išplėstas visai problemai išspręsti be išorinės jėgos, o tai reiškia, kad šis kelias yra aklavietė. Rezultatas techniškai atitinka pradinę „Clay“ matematikos instituto problemos formuluotę, kurioje buvo numatyta galimybė naudoti išorines jėgas, tačiau skysčių dinamikos specialistai dabar susiduria su nemalonia galimybe, kad lygtys gali „sprogti“ tik dirbtinėmis sąlygomis.scientificamerican

Tuo tarpu „The Information“ pirmadienį pranešė, kad „OpenAI“ yra arti dar vienos Tūkstantmečio premijos problemos sprendimo, o pati „OpenAI“ rugsėjo 21 d. atskleidė, kad jos naujasis modelis „jau išsprendė daugiau nei 100 ilgą laiką atvirų problemų daugumoje matematikos sričių“.openai+1

Matematikų pasipriešinimas

Sparti pažanga suneramino matematikos bendruomenę. Rugsėjo 11 d. 25 „Fields“ medalio laureatai paskelbė bendrą deklaraciją „Rimtas DI ir matematikos neatitikimas“, įspėdami, kad DI bendrovių lenktynės sprendžiant garsias problemas kelia grėsmę disciplinos atviro tyrimo ir žmogiškojo supratimo kultūrai. „Dažnai šie sprendimai skelbiami skubotai, nepaliekant laiko tinkamam aprašymui, naujų metodų ir idėjų išskyrimui bei nuorodoms į ankstesnius kitų darbus“, – teigiama laiške. Taip pat pasirodė kaltinimų, kad „OpenAI“ darė spaudimą matematikui, kad šis nepaminėtų su „Anthropic“ susijusio bendradarbio.techcrunch+2

Patariamoji grupė kaip tiltas

Reaguodama į tai, „OpenAI“ pirmadienį paskelbė apie nepriklausomos Matematikos ir dirbtinio intelekto patariamosios grupės įkūrimą, kuri veiks Pažangiųjų studijų institute. Devyni grupės nariai yra „Fields“ medalio laureatai Timothy Gowersas, Martinas Haireris ir Edwardas Wittenas, taip pat matematikai iš Harvardo, Stanfordo, Oksfordo ir Berklio universitetų. Grupė konsultuos rezultatų peržiūros ir komunikacijos klausimais, laikysis akademinių standartų ir veiks nepriklausomai — nariai nebus apmokami „OpenAI“ ir gali viešai kritikuoti bendrovės požiūrį.openai

„Ateityje kyla sudėtingų klausimų, kaip DI gali padėti suprasti matematiką“, – rašė „OpenAI“, pridurdama, kad nori, jog „matematikai būtų atsakymų formavimo centre“. Vis dėlto grupė nepatars, kaip „OpenAI“ turėtų reguliuoti savo vidinę pažangą — tai skirtumas, kuris vargu ar nuramins matematikus, stebinčius, kaip mašinos juos lenkia“.openai