Az OpenAI 372, mesterséges intelligenciával előállított matematikai eredményt tett közzé
Az OpenAI 372, mesterséges intelligenciával előállított matematikai eredményt tett közzé GitHubon. A vállalat szerint ezek mind nyitott problémák megoldására vagy azok jelentős továbbvitelére születtek; a gyűjteményben nagy számítógépes algoritmusok fejlesztései és a Riemann-sejtéshez kapcsolódó eredmények is szerepelnek. A munkákhoz módosítási naplók, hivatkozások és módszertani adatok is társulnak.
A társaság közlése szerint egy eredmény elkészítése átlagosan nagyjából háromórányi ChatGPT Pro Thinking számítási kapacitást igényelt. A legtöbb esetben egyetlen modell és egyetlen utasítás dolgozott a feladaton, bár néhány próbálkozást meg kellett ismételni. Ez jelentősen eltér attól a korábban ismertetett Navier–Stokes-megoldástól, amelyhez 10 ezer ügynök és több millió dollárnyi számítás kellett.
A bizonyítékok közül sok Lean-formalizációt is kapott. Ez a programozási nyelv lehetővé teszi a matematikai állítások gépi ellenőrzését, így az eredmények nagy tömegének átvizsgálása kevésbé függhet a kézi ellenőrzéstől. A formalizáció azonban önmagában nem dönti el, hogy egy eredmény fontos, eredeti vagy valóban új-e.
A közzététel azért is szokatlan, mert az OpenAI nem tudományos folyóiratban, hanem GitHubon publikált. A döntés azt jelzi, hogy a vállalat szerint az akadémiai folyamat nehezen tud lépést tartani az AI által előállított eredmények mennyiségével. Huszonöt Fields-éremmel kitüntetett matematikus ugyanakkor arra figyelmeztetett, hogy az igaz állítások tömeges gyártása a fogalmi megértés és az új ötletek kibontakozásának rovására mehet. Timothy Gowers és Terence Tao szerint különösen a jövő matematikusainak képzésében kell megőrizni az emberi megértés szerepét.