OpenAI po matematikų kritikos skiria 5 mln. dolerių: Simonso fondo DI matematikos iniciatyva siekia 15 mln.

„ChatGPT“ kūrėja „OpenAI“ skirs 5 mln. JAV dolerių (apie 4,5 mln. eurų) matematikai remiančiam Simonso fondui. Pinigai turėtų padėti matematikams tikrinti, suprasti ir plėtoti dirbtinio intelekto (DI) gautus rezultatus. Sprendimas paskelbtas po to, kai matematikų organizacija „Association for Human Mathematics“ (AHM) aštriai sukritikavo „OpenAI“ už šimtus paskelbtų DI sugeneruotų matematinių darbų. Iš viso Simonso fondo, „OpenAI“ ir „Anthropic“ iniciatyva siekia 15 mln. dolerių.

OpenAI teigia, kad jos DI modelis pasiekė Navier–Stokes lygčių rezultatą

Rugsėjį „OpenAI“ paskelbė, kad dar neišleistas jos DI modelis pasiekė svarbų rezultatą, susijusį su Navier–Stokes lygtimis. Šios lygtys skysčiams taiko antrąjį Niutono judėjimo dėsnį ir beveik šimtmetį buvo matematikų galvosūkis. Spalio 6 d. bendrovė pranešė, kad modelis paskelbė daugiau nei 700 rankraščių ir pasiekė beveik 400 kitų matematinių rezultatų, kuriais siekta atsakyti į kai kuriuos sudėtingiausius matematikos ir informatikos klausimus.

Tačiau, kaip rašo „TechCrunch“, cituojamas „Euronews“, du matematikai teigia buvę arti panašaus rezultato ir abejoja, ar „OpenAI“ darbas nebuvo grįstas jų darbu. „OpenAI“ neigia mačiusi jų darbą. Vienas šių matematikų, Leventas Alpöge, dirba „Anthropic“, o su kolega bendradarbiavo asmeniškai.

Matematikų asociacija: „Matematikai šio darbo neprašė“

AHM pareiškime, kurį savo tinklaraštyje paskelbė žinomas matematikas Terence'as Tao, rašoma: „Matematikai neprašė, kad šis darbas būtų atliktas.“ Asociacija teigia, kad „OpenAI“ parodė „visišką nepagarbą mokslinių tyrimų normoms“, kurios užtikrina, kad matematika išliktų patikima, etiškai tiriama ir tarnautų visuomenės interesams.

„Daugiau nei 700 failų paskelbimas vienu metu yra ne mokslinės veiklos, o galios demonstravimas“, – rašo asociacija ir ragina matematikus nutraukti darbą su „OpenAI“. AHM taip pat primena, kad Matematikos ir dirbtinio intelekto patariamoji grupė savo pirmajame pareiškime ragino pažangiausių DI bendrovių netestuoti sudėtingų matematikos problemų su vidiniais modeliais.

Data	Įvykis
2026 m. rugsėjis	„OpenAI“ skelbia, kad neišleistas modelis pasiekė Navier–Stokes lygčių rezultatą
Spalio 6 d.	„OpenAI“ paskelbia daugiau nei 700 rankraščių ir beveik 400 kitų rezultatų
Spalio 7 d.	AHM pareiškimas, raginantis matematikus nutraukti darbą su „OpenAI“
Spalio 15 d.	Simonso fondas skelbia 15 mln. dolerių iniciatyvą su „Anthropic“ ir „OpenAI“

Šaltiniai: „Euronews“, Simonso fondas, T. Tao tinklaraštis.

Simonso fondo iniciatyva siekia 15 mln. dolerių

Ketvirtadienį „OpenAI“ socialiniame tinkle X paskelbė skirsianti 5 mln. dolerių naujai Simonso fondo iniciatyvai. „Norime padėti matematikų bendruomenei paversti DI pažangą gilesniu žmogaus supratimu ir naujais atradimais“, – rašė bendrovė. Pinigai skirti seminarams, konferencijoms ir specialioms programoms, o fondo remiami tyrėjai gaus prieigą prie „OpenAI“ modelių ir skaičiavimo išteklių.

Simonso fondo pranešime nurodoma, kad pagal partnerystę fondas, „Anthropic“ ir „OpenAI“ skirs 15 mln. dolerių finansavimo ir išteklių. Fondas lėšas valdys ir skirstys, be kita ko, per atvirą kvietimą teikti paraiškas. Remiami seminarai ir iniciatyvos, padėsiančios tyrėjams įvertinti naujausius DI padedamus rezultatus, išmokti naudotis naujais įrankiais, dalytis požiūriais ir formuoti bendrus DI naudojimo standartus. „Anthropic“ ir „OpenAI“ fondo remiamiems tyrėjams suteiks DI įrankių ir skaičiavimo išteklių, ir ne tik matematikoje, bet ir kitose fundamentinio mokslo srityse.

„Dirbtiniam intelektui sparčiai keičiant tyrimų kraštovaizdį, norime padėti matematikų bendruomenei susivienyti ir rasti geriausią kelią į priekį“, – sakė Simonso fondo prezidentas Davidas Spergelis. „Būtent bendruomenė, o ne kuri nors viena bendrovė ar institucija, turėtų vesti diskusijas apie tai, kaip šie įrankiai vertinami, diegiami ir naudojami.“

DI įrodymus „Lean“ kalba matematikai siūlo tikrinti kaip ir žmonių darbus

Simonso fondas jau anksčiau rėmė mašininį mokymąsi moksle, be kita ko, finansavo įrodymų tikrinimo įrankio „Lean“ kūrimą. Ši programavimo kalba leidžia formaliai užrašyti ir patikrinti matematinius įrodymus, o būtent ji padarė DI padedamus įrodymus įmanomus. Fondas taip pat rengė seminarus, paskaitas ir bendradarbiavimo projektus, kuriuose matematikai aptarė DI vaidmenį savo srityje. Naujoji iniciatyva, pabrėžia fondas, bus valdoma bendruomenės.

Vis dėlto, kaip rašo „TechCrunch“, Kembridžo universiteto ir Londono King's College matematikų straipsnyje aptiktos mažiausiai dvi neatitiktys tarp „OpenAI“ natūralia kalba pateikto įrodymo ir „Lean“ kodo, susijusio su Navier–Stokes lygtimis. Tai nebūtinai paneigia sprendimą, bet kelia klausimų, ar galima pasikliauti modeliais, kurie patys formalizuoja savo sprendimus be žmonių priežiūros. Dėl to Matematikos ir DI patariamoji grupė prašė „OpenAI“ prie publikacijų pridėti mašiniškai skaitomus metaduomenis, siejančius natūralios kalbos ir formalius įrodymus, tačiau, „TechCrunch“ duomenimis, bendrovė to nepadarė. Straipsnio autoriai daro išvadą, kad tokių įrodymų negalima a priori laikyti patikimais be tokios pat recenzavimo procedūros, kokia taikoma kitiems įrodymams.

„Problemas autonomiškai sprendžia DI užklausų rašytojai, kurie nesidomi platesne sritimi, kai tik jų pradinis tikslas „išspręstas“, ir nepakankamai supranta DI rezultatą, kad galėtų atsakyti į klausimus“, – po paskelbimo socialiniame tinkle rašė T. Tao. Harvardo universiteto matematikos profesorė Melanie Wood „TechCrunch“ sakė, kad paskelbus tokius DI sprendimus „žmonės jų dar nesupranta, ir tik tada darbas prasideda“.

Matematikai pabrėžia, kad žmonės, atradę naujų rezultatų, prisiima už juos atsakomybę ir bendrauja su mokslo bendruomene – rašo straipsnius, skaito pranešimus, dalyvauja seminaruose. Toks procesas, pasak jų, padeda geriau suprasti sprendimus, rasti strategijų kitoms problemoms spręsti ir pritaikyti naujas žinias praktikoje. Simonso fondo iniciatyva, jos kūrėjų teigimu, turėtų suteikti matematikams galimybę šiuos klausimus spręsti kartu, o ne remtis vien technologijų bendrovių nustatytais standartais.