Matematikusok bojkottot hirdetnek az OpenAI ellen a tömeges AI-bizonyítások miatt

A matematikusok közössége, az AHM nevű csoport, amelynek élén Terence Tao áll, bojkottot szorgalmaz az OpenAI ellen, miután a cég egyszerre több mint 700 fájlt tett közzé AI által generált matematikai bizonyításokból. A tiltakozás az OpenAI-nak tulajdonított, több mint 100 nyitott probléma megoldására vonatkozó állításai és a Navier–Stokes-probléma körüli vita nyomán erősödött fel. A szakemberek szerint a bizonyítások tömeges közzététele tönkreteheti a kutatási közösség munkáját.

Az AHM állásfoglalása szerint az OpenAI figyelmen kívül hagyta azt az elvet, amelyet a cég saját tanácsadó csoportja, az AGMAI képviselt: fejlett matematikai problémákat nem szabad belső modelleken tesztelni. A szervezet a több mint 700 fájl egyszerre történő közzétételét hatalmi demonstrációnak nevezte, és azt írta, a matematikusok ilyen munkát nem kértek. Az állásfoglalás a cég ellen folyó szerzői jogi perekre is utal, és sugallja, hogy az eredmények csak a matematikusok munkáin való tanítás révén születhettek meg, ezt azonban nem mondja ki egyenesen.

Tao a Mastodonon arról írt, hogy a hagyományos matematikában a nagy áttörések előadásokat, műhelymunkákat, új együttműködéseket és tankönyvbe kerülést hoztak, most viszont az ellenkezőjét látja: a problémákat olyan AI-felhasználók oldják meg, akik nem értik eléggé az eredményeket ahhoz, hogy előadást tartsanak róluk. Szerinte ez a megoldások visszafordíthatatlan „kontaminációjához” vezet, mert a kutatók visszatartják az ígéretes irányokat, és egész részterületek lesznek kevésbé termékenyek. A Math 2.0 korszakban a tudósok szerint a problémamegoldás helyett a magyarázatot, a közösségépítést és az új kutatási irányok megnyitását kellene értékelni.

Aaronson, a számítástudomány kiemelkedő kutatója a saját feleségének, Dana Moshkovitznak az esetét hozta fel: az OpenAI kiadványában szerepel a Unique Games-sejtés állítólagos bizonyítása, amelynek kutatásának Moshkovitz élete nagy részét szentelte. Moshkovitz szerint a dokumentum szinte olvashatatlan, és AI-segítség nélkül nem lehet érteni. Aaronson szerint a kiadványban több, a komplexitáselméletet, a számelméletet és az algoritmikát érintő eredmény is van, köztük részeredmények több megoldatlan Clay-millenniumprobléma kapcsán.