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.
KULCSPONTOK
- Az AHM, a matematikusok csoportja, amelynek élén Terence Tao áll, bojkottot hirdetett az OpenAI ellen
- Az OpenAI egyszerre több mint 700 fájlt tett közzé AI-generált matematikai bizonyításokból
- A cég korábban azt állította, hogy belső modellje egy hónap alatt több mint 100 nyitott matematikai problémát oldott meg
- Tao és 24 másik Fields-érmes korábban a KI-ipar és a matematika céljainak súlyos eltéréséről figyelmeztetett
- Aaronson szerint az OpenAI egy kriptográfiai problémákat tesztelő kísérletben körülbelül 8 000 problémát vizsgált, nagyjából 5 százalékos sikerarányt elérve