Kutatás
722 kézirat: újabb adag matematikai eredményt tett közzé az OpenAI
Az OpenAI egy még kiadatlan modell által készített matematikai megoldásokat hozott nyilvánosságra: 722 kéziratot, 372 eredménycsaládba rendezve. Egy független tanácsadó testület szerint a csomag több száz nyitott kérdésre ad választ, de a matematikusok ellenőrzése még hátravan.
A cég már szeptemberben azt állította, hogy a modell több mint száz régóta nyitott problémát oldott meg. A mostani kiadás ennek folytatása, jóval nagyobb terjedelemben. Az OpenAI szerint egy átlagos eredmény nagyjából háromórányi ChatGPT Pro-gondolkodásnak megfelelő számítást igényelt, ami azt mutatja, hogy a megoldások nem azonnal, hanem hosszabb gépi „töprengés” után születtek.
Ajánlások a közzétételhez
Az AGMAI szeptember végén ajánlásokat adott ki arra, hogyan érdemes az AI által elért matematikai eredményeket nyilvánosságra hozni. Eszerint gyorsan és a bevett akadémiai csatornákon kell közzétenni őket, a modell nevével, a használt utasításokkal (promptokkal) és a számítási költséggel együtt, marketingcélokra pedig nem szabad felhasználni őket.
Az OpenAI a GitHub mellett más, közösség által üzemeltetett platformokat is vizsgál a közzétételhez. A közzététel módja azért is hír, mert az AGMAI iránymutatásai éppen az átláthatóságot és a tudományos normák betartását hivatottak biztosítani egy olyan területen, ahol a vállalati érdekek és a tudományos hitelesség könnyen ütközhetnek.
Vita a matematikusok között
A matematikába idén gyorsan belépő AI-laborok, köztük az OpenAI és az Anthropic, vitát kavartak a kutatási gyakorlatról és az etikáról. Kérdés, hogyan jelölik meg az emberi matematikusok hozzájárulását, és hogyan kezelik a gépi úton született bizonyításokat a tudományos közösségben. A beszámoló szerint a mezőny friss eredményei között egy Millennium-problémát érintő eredmény is szerepel.
Több alapvető kérdés egyelőre nyitva maradt. Nem tudni, melyik modellről van szó pontosan, és mikor jelenik meg. Az sem világos, mely konkrét problémákat oldotta meg, és melyek közülük a legjelentősebbek. Független matematikusok még nem ellenőrizték az eredményeket, így azt sem lehet tudni, hány bizonyul közülük helyesnek.
A kiadás pontos dátumát a cikk szövege nem közli, és a GitHub-tárhely címét sem. Ha az eredmények kiállják a szakmai ellenőrzést, az komoly lépés lehet afelé, hogy az AI érdemi szerepet kapjon a matematikai kutatásban. Addig azonban a 722 kézirat inkább ígéret, mint lezárt tudományos eredmény, és a szakma reakciója dönti el, mennyit érnek valójában.