Egy belső „frontier” modell által előállított, széles körű matematikai eredménycsomagot tettek közzé egy GitHub-tárhelyen. A közzétételt megelőzően a szervezet az Institute for Advanced Study-n működő, független Advisory Group on Mathematics and Artificial Intelligence tanácsadó testülettel egyeztetett, és azok nyilvános ajánlásaira támaszkodva alakította ki a kiadási gyakorlatot.
Mit tartalmaz a kiadás?
-
A GitHub-tárhelyen elérhetőek a matematikai eredmények példányai, valamint protokollok a dolgozatok revíziójára és hivatkozására vonatkozóan. A szervezet közölte, hogy további közösségi hosztolt alternatívákat is vizsgál, amelyek megfelelnek a bizottság iránymutatásainak.
-
Sok bizonyítás formálisítását megosztják Lean nyelven — a Lean egy olyan programozási/következtetés-ellenőrző rendszer, amely lehetővé teszi, hogy a bizonyításokat számítógépileg ellenőrizzék. A tárolót frissíteni fogják további formalizációkkal, ahogy azok rendelkezésre állnak.
-
A transzparencia jegyében további részleteket tettek közzé arról, hogyan jutottak az eredményekhez. Ezek közé tartoznak 10 összefoglaló a modell érveléséről, becslések a felhasznált számítási kapacitásról kifejezve ChatGPT Pro használatban eltöltött óráknak megfelelően, valamint statisztikák a megkísérelt problémák számáról. Az átlagos eredmény előállításához nagyjából a ChatGPT Pro három órányi számításának megfelelő erőforrást használtak.
Miért fontos ez?
A szervezet célja, hogy a fejlemények előremozdítsák az emberi tudás határait, és lehetővé tegyék további előrelépéseket a matematikában. A formális bizonyítások és a nyílt adatok növelik a tudományos átláthatóságot, és segítik a közösséget az eredmények reprodukálásában és kritikájában.
További lépések és elköteleződések
-
A közzétevők bejelentették, hogy támogatni fognak egy sor műhelyt, konferenciát és külön programot a mesterséges intelligencia által előállított jelentős matematikai eredmények megértésének elősegítésére; a szervezet a közeljövőben részletesebb információkat ígért ezekről.
-
A szervezet jelezte, hogy dolgoznak azon, hogy felelősségteljes módon tegyék elérhetővé azt a modellt, amely a felfedezéseket létrehozta. Ennek érdekében folyamatosan értékelik belső „frontier” modelljeiket matematikai és egyéb tudományos feladatokon, és a közösségi visszajelzések alapján frissítik a jövőbeli tudományos közlemények közzétételi standardjait.
A közlemény nem tartalmazott további technikai részleteket a modell architektúrájáról vagy a pontos problémalistáról; a GitHub-tárhelyen elérhető anyagok adják meg a kiadott eredményekhez kapcsolódó legkonkrétabb információkat.
