ChatGPT önállóan megoldott egy nyitott matematikai problémát

Az mesterséges intelligencia olyan lépést tett, ami még nemrég tudományos-fantasztikumnak tűnt: a ChatGPT legújabb verziója önállóan megoldott egy olyan összetett matematikai problémát, amelyet korábban "nyitott" kérdésként tartottak számon. Ezt Neil Somani kutató és fejlesztő hívta fel a figyelmünkre, aki a modell elé tett egy nem triviális feladatot, majd emberi beavatkozás nélkül hagyta dolgozni. Körülbelül 15 perc múlva a rendszer részletes megoldást készített, amelyet Somani ezután a Harmonic matematikai eszközzel ellenőrzött és formalizált – megerősítve, hogy a bizonyítás helyes.

Somani célja az volt, hogy megértse, hol húzódik a határ a mai nagy nyelvi modellek matematikai képességeit illetően. A kísérleti eredmények meglepően erőseknek bizonyultak: a legújabb ChatGPT-verzió magabiztosan kezelte az összetett fogalmakat, és olyan szintű érvelést mutatott, amit korábban az MI számára elérhetetlennek tartottak. A kutató szerint ez jelentősen módosítja azt a képet, hogy milyen feladatokat képesek a gépek önállóan megoldani.

A gondolkodási folyamat során a modell nem pusztán választ talált, hanem sorban alkalmazta az alapvető matematikai eszméket és formulákat, felhasználva azokat a munkákat, amelyeket a szakmai közösség több mint egy évtizede vitat. A végső megoldás nem ismert megközelítések másolata volt, hanem egy önálló és teljesebb levezetés egy olyan probléma-variánshoz, amelyet eredetileg Paul Erdős fogalmazott meg. Ez a szintű általánosítás és adaptáció korábban kizárólag az emberekre volt jellemző.

Somani megjegyzi, hogy észrevehető ugrás történt az 5.2-es GPT-verzió megjelenése után: drámai mértékben megnőtt azon problémák száma, amelyeket az MI közvetlen segítség nélkül kezel. Bár a korai autonóm sikereket ezen a területen már korábban is rögzítették, most a haladást már nem lehet figyelmen kívül hagyni. A szakértők hangsúlyozzák, hogy az MI nem váltja fel a matematikusokat, de egyre inkább hatékony eszközzé válik, amely képes felgyorsítani a megoldások felfedezését és kitágítani az emberi tudás határait.