Káosz és megdöbbenés uralkodik a matematikusok körében az OpenAI váratlan adatdöntése után. A mesterséges intelligenciát fejlesztő vállalat több száz nyitott matematikai problémára tett közzé megoldást, ami komoly fejtörést és riadalmat okozott a tudományos közösségben.
Több száz nyitott kérdésre érkezett válasz
Az OpenAI összesen 722 tudományos dolgozatot publikált egy nyilvános GitHub-tárhelyen, amelyek 372 korábban megoldatlan matematikai problémát fednek le. A tételek a számelmélettől az algebrai geometrián át a topológiáig számos összetett területet érintenek. A kutatók beszámolói alapján az eredmények feldolgozása és ellenőrzése éveket vehet igénybe.
A fejlesztőcég egyetlen belső, nyilvánosan még nem elérhető modellt használt a bizonyítások előállítására. Bár a rendszer rövid idő alatt hatalmas mennyiségű számítást végzett el, a szakértők hirtelen nyakukba szakadt adatmennyiséggel szembesültek, amelynek az érvényességét hagyományos módszerekkel szinte lehetetlen ilyen tempóban felülvizsgálni.
Feszültség és kérdőjelek a tudományos életben
A felfedezések mértéke mellett komoly aggályok merültek fel a tudományos felelősségvállalással kapcsolatban. A matematikai közösség képviselői rámutattak, hogy a gépi úton generált levezetések sokszor nélkülözik az emberi értelmezhetőséget. A modellek által adott válaszok ellenőrzése nélkül a formalizált kódok nem minden esetben jelentik a probléma valódi megértését.
A szakemberek amiatt is aggódnak, hogy az OpenAI modelljeinek tanításához felhasznált adatbázisok tartalmazhattak olyan még nem publikált kutatásokat, amelyeket kutatók privát módon tároltak. Az akadémiai szféra most arra törekszik, hogy új keretrendszert alakítson ki a mesterséges intelligencia által előállított matematikai bizonyítások kezelésére és hitelesítésére.
