Az OpenAI matematikai eredményeket és Lean-formalizálásokat tett közzé
Az OpenAI széles körű matematikai eredményeket tett közzé, amelyeket egy belső, élvonalbeli modell állított elő. A vállalat az eredményeket GitHub-repozitóriumban publikálta, több bizonyítás Lean-formalizálásával és a modell munkájára vonatkozó további adatokkal együtt.
- Az OpenAI egy belső frontier modell matematikai eredményeit tette közzé.
- Az eredmények GitHub-repozitóriumban érhetők el, módosítási és hivatkozási protokollokkal.
- Számos bizonyítást Leanben is formalizáltak, hogy számítógéppel ellenőrizhetők legyenek.
- A repozitórium 10 gondolkodási összefoglalót, számítási becsléseket és feladatisztikákat is tartalmaz.
- Az OpenAI műhelyeket, konferenciákat és különleges programokat finanszírozna az eredmények megértésére.
GitHubon jelennek meg az eredmények
Az OpenAI 2026. október 6-án számolt be az új matematikai eredményekről. A közlés szerint a vállalat egy belső frontier modelltől származó, széles körű eredményeket oszt meg a matematikai közösséggel.
A publikációhoz GitHub-repozitóriumot hoztak létre. Ebben protokollokat is közzétesznek a tanulmányok későbbi módosítására és az eredmények hivatkozására. Az OpenAI közlése szerint további, közösségi kezelésű lehetőségeket is vizsgálnak, amelyek megfelelnek az erre vonatkozó szakmai irányelveknek.
A vállalat a jövőbeli kiadásoknál javítani szeretné a tanulmányok minőségét. Ennek része lesz a hivatkozások, a matematikai magyarázatok és az eredmények bemutatásának fejlesztése, hogy azok könnyebben érthetők legyenek.
A bizonyítások egy része számítógéppel ellenőrizhető
A repozitórium számos bizonyítás formalizálását is tartalmazza Leanben. Ez egy olyan programozási nyelv, amely lehetővé teszi a matematikai bizonyítások számítógépes ellenőrzését. Az OpenAI azt írja, hogy újabb formalizálásokat is hozzáad majd, amint elkészülnek.
A közzététel célja a tudományos átláthatóság és a nyitottság erősítése. Ennek részeként a repozitóriumban további részletek is elérhetők arról, hogyan jutottak el az eredményekhez. Ezek között 10, a modell gondolkodását összefoglaló anyag, a ChatGPT Pro használatában kifejezett számítási ráfordítás becslése, valamint a megkísérelt feladatok számáról szóló statisztikák szerepelnek.
Az OpenAI szerint egy átlagos eredményhez nagyjából háromórányi ChatGPT Pro gondolkodásnak megfelelő számítási kapacitást használtak fel.
Szakmai programokat is finanszíroznak
Az OpenAI a matematikai és mesterségesintelligencia-kutatás független tanácsadó csoportjával is egyeztetett. A csoport az Institute for Advanced Study keretében működik, és az OpenAI a tanácsait, valamint nyilvános ajánlásait is felhasználta a közzétételi gyakorlat kialakításához.
A vállalat közlése szerint műhelyeket, konferenciákat és különleges programokat finanszíroz majd az AI által létrehozott jelentős eredmények megértésére. Ezek részleteiről később ígérnek további tájékoztatást.
Az OpenAI célja, hogy az eredmények hozzájáruljanak az emberi tudás bővítéséhez, és további matematikai fejlődést tegyenek lehetővé. A vállalat állítása szerint közvetlenül szeretné felruházni a tudósokat a legfejlettebb képességekkel, miközben dolgozik az eredményeket előállító modell felelős kiadásán.
A közlemény szerint ehhez továbbra is értékelni kell a belső, élvonalbeli modelleket matematikai és más tudományos területeken. Az OpenAI a közösségi visszajelzések alapján a jövőben is frissíteni kívánja a jelentős tudományos eredmények nyilvánosságra hozatalára vonatkozó szabványait.
OpenAI: Sharing AI progress in mathematics
