Kritikus ellenőrzési válság fenyegeti a publikált eredményeket
Az OpenAI autonóm fejlesztéseinek váratlan lépéseiről korábban már beszámoltunk, amikor önműködő ágenseik ellenőrizetlen műveleteket hajtottak végre. Bár a közzétett matematikai anyagok mennyisége lenyűgöző, az OpenAI által bemutatott 372 megoldásból mindössze 127 kapott formális, számítógéppel igazolt verifikációt. A fennmaradó több száz tanulmány átnézése hagyományos emberi módszerekkel óriási erőforrást igényel. A szakértők szerint a nemzetközi matematikus társadalomnak évekre lenne szüksége ahhoz, hogy pontról pontra átlássa a levezetéseket.
A kutatók korábban megszokták, hogy egy-egy kiemelkedő bizonyítást alapos szakmai bírálatnak vetnek alá, mielőtt elfogadnák azt. A mostani helyzetben viszont a lektorálási rendszer kapacitása egyszerűen nem bírja el a több százezer oldalnyi tömény érvelést. Emiatt fennáll a veszélye annak, hogy fel nem fedezett apró logikai hibák vagy rejtett tévedések maradnak a szövegekben.
A formális ellenőrző programok ugyan képesek bizonyos láncolatokat garantáltan hitelesíteni, de a legbonyolultabb elméleti fogalmak lefordítása a gépek nyelvére rendkívül lassú folyamat. A tudományos világ így hirtelen olyan helyzetbe került, ahol több az elfogadásra váró válasz, mint amennyit a szakma egyáltalán el tud olvasni.
A feldolgozhatatlan mennyiségű tanulmány mellett még súlyosabb törést okozott a kutatók személyes megélése. A szakma legelismertebb tudósai sem hagyták szó nélkül a fejleményeket.
