Az OpenAI bejelentette, hogy rendszere több száz, a matematika területén jelentkező áttörést ért el. A közlés néhány héttel követte az állítást, miszerint a cég rendszere sikerrel megoldott egy különösen bonyolult matematikai problémát. A bejelentés hatására heves vita alakult ki a tudományos közösségben arról, hogy a mesterséges intelligencia valóban új megoldásokat hozott-e, vagy csupán emberi munkát fejezett be.
A vita középpontjában: kreativitás vagy utolsó lépések elvégzése?
Sok szakértő szerint a kérdés döntő: az olyan technikák és bizonyítási lépések, amelyeket egy megoldás tartalmaz, gyakran további áttörések alapjául szolgálnak. Ha a mesterséges intelligencia csak a végső sorokat egészíti ki egy ember által megkezdett gondolatmenetben, akkor a közösség által hasznosítható, általánosítható módszertan hiányában az eredmény korlátozottabb jelentőségű.
Egy a Quanta Magazine-nak nyilatkozó, a University of Toronto-n dolgozó matematikus úgy fogalmazott: „I think there is a good future where we come out way ahead of where we are now,” hangsúlyozva a lehetőséget, hogy a megfelelő feltételek mellett az AI valóban előrelépést hozhat.
Miért számít a bizonyítás?
A matematikában a teljes bizonyítás nemcsak a konkrét tétel igazolását jelenti, hanem a bizonyítás során használt ötletek és technikák átültetését más problémákra. Ezért sok kutató szerint az AI akkor lehet forradalmi, ha nem csak megoldást ad, hanem részletes, ellenőrizhető bizonyítást is szolgáltat, amely alapján az emberi közösség tovább dolgozhat.
Következmények és további kérdések
Az OpenAI közleménye újra fölhívta a figyelmet az AI gyorsan növekvő képességeire a matematikában, ugyanakkor a részletek hiánya — például hogy pontosan milyen jellegű eredményekről van szó és milyen formában állnak rendelkezésre a bizonyítások — továbbra is bizonytalanságot okoz. A vita középpontjában most az áll, hogy milyen kritériumok alapján tekinthető egy AI által előállított megoldás valódi matematikai áttörésnek, illetve hogyan lehet biztosítani a módszerek átláthatóságát és ellenőrizhetőségét.
Szerző: Jeronimo Gonzalez
