Az OpenAI mesterséges intelligenciája tíz matematikai problémát oldott meg
Az OpenAI bejelentette, hogy az Astra nevű, még nem nyilvános AI-modellje legalább tíz eddig megoldatlan matematikai problémában ért el jelentős előrehaladást vagy teljes megoldást. A fejlemény újabb vitákat vált ki a matematikai közösségben az AI-rendszerek szerzőségéről és felelősségéről.
Az OpenAI augusztus 1-én közölte, hogy az Astra modell tíz nyitott matematikai kérdésben ért el megoldásokat vagy lényeges előrehaladást. Közülük legalább kettő jelentős kutatási értékű: az egyik az 1999 óta vizsgált nem-szofikus csoportok létezésének kérdése, a másik a magas dimenziós gömbpakolás sűrűségének csökkenésére vonatkozik, amelyben 1978 óta nem történt lényeges előrelépés. Az OpenAI szerint a Lean szoftver ellenőrizte a megoldások helyességét, és az adatok a Github platformon nyilvánosan hozzáférhetők.
A bejelentés felvetette a szerzőség kérdését a matematikai közösségben. Az OpenAI nyíltan vitatja azt az álláspontot, amely szerint csak emberek kaphatnak elismerést matematikai teljesítményekért – a vállalat szerint »menschliche Urheberschaft für einen vollständig von einem KI-System generierten Beweis zu beanspruchen« félrevezető lenne. Azonban az AI-rendszerek emberi munkára épülnek: például az egyik megoldás jelentős mértékben egy magyar matematikus, Gábor Kun 2016-os és 2019-es publikációira támaszkodott.
A fejlemény az AI és matematika közötti feszültségeket mélyíti. Június elején több mint 3400 matematikus írta alá a »Leiden Declaration on Artificial Intelligence and Mathematics« nyilatkozatot, amely azt követeli, hogy csak emberek kapjanak elismerést és viseljen felelősséget matematikai teljesítményekért. Az OpenAI bejelentése közvetlenül kihívja ezt az álláspontot.
A megoldások verifikálása azonban még nem teljes. Július 25-én egy matematikus, Ramana Kumar egy AI-támogatott bizonyítást közölt a híres Collatz-sejtésről, amelyet a Lean ellenőrzött – azonban három nappal később kiderült, hogy a bizonyítás hibás volt, mivel a Lean egy programozási hiba miatt nem észlelte azt. Ez rámutat arra, hogy az emberi matematikusok továbbra is nélkülözhetetlenek az AI-generált bizonyítások végső ellenőrzéséhez.
A fejlemények ellenére a matematikusok munkahelyei egyelőre nem veszélyeztetettek. Az AI-rendszerek eddig nem mutattak képességet új, potenciálisan termékeny matematikai koncepciók kreatív fejlesztésében. Az elegáns bizonyítások kitalálása azonban valóban hamarosan az AI feladata lehet, ahogy korábban a számítógépek átvették a rutinszámítások végzését.