AI ulazi u matematiku: može li ChatGPT samostalno dokazivati teoreme?
Razvoj umjetne inteligencije dosegao je novu prekretnicu koja bi mogla promijeniti način na koji razumijemo znanost i matematiku. Istraživači sa Vrije Universiteit Brussel objavili su rezultate prema kojima napredni modeli poput ChatGPT-a više nisu samo alati za generiranje teksta, već mogu aktivno sudjelovati u stvaranju originalnih matematičkih dokaza. U središtu ovog otkrića nalazi se model ChatGPT-5.2, koji je, prema istraživanju, uspio razraditi dokaz za matematičku hipotezu postavljenu 2024. godine. Važno je razumjeti da hipoteza u matematici predstavlja tvrdnju za koju se vjeruje da je točna, ali još nije formalno dokazana. Upravo taj prijelaz iz hipoteze u teorem smatra se jednim od najtežih zadataka u znanosti.
Proces nije bio jednostavan ni linearan. Tijekom sedam iteracija dijaloga između istraživača i AI sustava, model je postupno razvijao i poboljšavao strukturu dokaza. Ono što je posebno zanimljivo jest da je AI preuzeo ključni dio posla, odnosno pronalaženje logičkog puta i konstrukciju argumenta, dok su ljudi imali ulogu nadzora i provjere točnosti. Istraživači su ovu novu metodu nazvali “vibe-proving”, što označava način rada u kojem AI kroz iterativno istraživanje i eksperimentiranje dolazi do rješenja. Ovakav pristup podsjeća na način na koji programeri danas koriste AI za pisanje koda, ali se sada prvi put primjenjuje na apstraktna matematička pitanja. Profesor Vincent Ginis naglasio je da ovaj rezultat razbija dugogodišnji mit da umjetna inteligencija može samo kombinirati postojeće informacije. Umjesto toga, pokazuje se da AI može generirati nove ideje i strukture koje nisu izravno preuzete iz podataka za treniranje. Slično tome, istraživač Brecht Verbeken istaknuo je kako je učinkovitost modela znatno nadmašila očekivanja tima.
Unatoč ovom napretku, ljudska uloga i dalje ostaje ključna. Završna provjera matematičkog dokaza zahtijeva iznimnu preciznost i rigoroznost koju trenutno još uvijek osiguravaju stručnjaci. Profesor Andres Algaba upozorava da će se budući izazov vjerojatno pomaknuti s pronalaženja dokaza na njihovu validaciju. Ovo otkriće označava širi pomak u razvoju umjetne inteligencije. Umjesto da bude ograničena na generiranje teksta ili pomoć u programiranju, AI sada ulazi u područja koja zahtijevaju duboko apstraktno razmišljanje i kreativnost. Ako se trend nastavi, moguće je da će umjetna inteligencija uskoro igrati ključnu ulogu u rješavanju matematičkih problema koji su desetljećima ostali neriješeni.
Drugim riječima, granica između alata i suradnika u znanosti upravo se počinje brisati.
