Az OpenAI publikálja AI-generált matematikai eredményeit GitHubon

Az OpenAI egy új, belső modelljével generált matematikai eredményeket tett közzé egy nyilvános GitHub-repozitóriumban. A lépés a matematikai közösséggel való eredményesebb megosztás céljából történt, miután az Institute for Advanced Study független tanácsadócsoportjának ajánlásait is figyelembe vették. (Hacker News)

Lean-formalizálás és ellenőrizhetőség

A publikáció részeként a bizonyítások számos Lean-formalizálását is megosztják, amely egy programozási nyelv, lehetővé téve a matematikai bizonyítások számítógépes ellenőrzését. Az OpenAI tervezi a repozitórium további frissítését új formalizálásokkal, amint azok rendelkezésre állnak.

Átláthatóság és erőforrás-használat

A tudományos átláthatóság és nyitottság jegyében az OpenAI további részleteket is közöl az eredmények megszerzésének módjáról. Ezek közé tartozik 10 összefoglaló a modell érveléséről, a felhasznált számítási erőforrás becslése ChatGPT Pro használatban kifejezve, valamint a problémákra tett kísérletek statisztikái. Az átlagos eredmény eléréséhez körülbelül három óra ChatGPT Pro számítási kapacitás volt szükséges.

Az OpenAI célja, hogy ezek az eredmények elősegítsék az emberi tudás határainak kiterjesztését és további matematikai fejlődést. Ennek érdekében workshopokat, konferenciákat és speciális programokat finanszíroznak majd az AI által előállított jelentős eredmények megértésének elősegítésére.

A vállalat továbbá dolgozik a modell felelősségteljes kiadásán, amely ezeket az eredményeket produkálta. Az OpenAI folytatja belső modelljeinek értékelését matematikában és más tudományterületeken, hogy felgyorsítsa az ezen területeket előmozdító eszközök fejlesztését, és figyelembe veszi a közösség visszajelzéseit a jövőbeli tudományos felfedezések közzétételére vonatkozó szabványok frissítésében. Az Institute for Advanced Study ajánlásai alapján a ChatGPT Pro használatával mért három órás számítási kapacitás szolgál mintának a jövőbeli publikációkhoz.