A kutatók megdöbbenéssel figyelik a mesterséges intelligencia legújabb teljesítményét a tudományos elméletek terén.
Az OpenAI közzétette a legújabb kutatási anyagait, amelyekben 372 komplex matematikai problémacsoport megoldását vagy az azokban elért jelentős előrelépést részletezik. A vállalat tájékoztatása alapján a 722 elkészült kézirat túlnyomó többsége egyetlen AI-ágensnek adott, egyetlen utasítás nyomán született meg. Ez a megközelítés jelentős eltérést mutat a korábbi eljárásokhoz képest, ahol sokszor több ezer ágens összehangolt munkájára és több millió dolláros számítási kapacitásra volt szükség egyetlen feladat megoldásához.
GitHubon felhalmozott tudományos bizonyítások
A nyilvánosságra hozott eredmények között szerepel a négydimenziós Kakeya-sejtés állítólagos bizonyítása, kulcsfontosságú számítógépes algoritmusok hatékonyságának növelése, valamint a Riemann-hipotézishez kapcsolódó érdemi haladás is. Az OpenAI az eredményeket nem a hagyományos akadémiai folyóiratokban, hanem egy nyilvános GitHub-tárhelyen osztotta meg, hogy a tudományos közösség közelebbről is megvizsgálhassa azokat. A levezetések jelentős részét a Lean nevű programozási nyelven is formalizálták, ami lehetővé teszi, hogy a bizonyítások helyességét számítógépes úton ellenőrizzék a matematikusok.
A közzétett statisztikák szerint egy-egy eredmény előállításához átlagosan körülbelül háromórányi ChatGPT Pro számítási kapacitásra volt szükség. Noha a tempó szédítő, a vállalat nem hozta nyilvánosságra az egyes feladatok pontos futási idejét és a használt konkrét utasításokat sem.
Vita a tudományos ellenőrizhetőségről
A matematika közösségét megosztja az AI által tömegesen generált levezetések megjelenése. Független szakértők és akadémiai vezetők hangsúlyozzák, hogy amíg a modellekhez és a pontos futtatási paraméterekhez nem férnek hozzá külső kutatók, a közzétett állítások nem tekinthetők teljes mértékben igazoltnak. A tudományos ellenőrzési folyamat ugyanis nemcsak a végeredmény elfogadását jelenti, hanem a levezetés mögötti gondolatmenet és módszertan mélyreható megértését is.
Az OpenAI független tanácsadó testületet kért fel a felelős publikációs irányelvek kidolgozására, a testület ajánlásai között szerepelt a pontos utasítások és számítási idők közzététele is. A cég végül csak az átlagolt adatokat publikálta, ami további szakmai vitákat váltott ki arról, miként kellene kezelni a mesterséges intelligencia által előállított elméleti áttöréseket.
A kutatás jövője és az emberi szerep
Bár a gépi bizonyításellenőrzés felgyorsíthatja az elemzési folyamatokat, az emberi szaktudás továbbra is nélkülözhetetlen marad. A matematikusok feladata a jövőben nem csupán a gépi levezetések vizsgálata lesz, hanem a releváns kérdések megfogalmazása és a gyakorlati szempontból értékes elméletek kiszűrése is. Az OpenAI közölte, hogy a jövőben konferenciákat és workshopokat szándékozik finanszírozni az AI által generált eredmények feldolgozásának támogatására.
