Šikić i Čačić: Može li AI zamijeniti matematičare?

Nakon što je OpenAI objavio više od 700 matematičkih radova iz brojnih polja matematike, Zvonimir Šikić i Vedran Čačić raspravljaju hoće li AI u budućnosti samo rasteretiti matematičare, ili će im u tome oduzeti glavnu motivaciju da se tom granom znanosti uopće bave. Razgovarali smo i o tome koliko su vrijedni dokazi koje je AI producirao, koliko će još ljudskog rada morati biti utrošeno na njihovu verifikaciju i razumijevanje, ali i može li nam takav pristup matematici uopće donijeti nove uvide, i može li uopće biti isplativ za velike AI tvrtke i njihove najnaprednije modele, ili se samo radi o jednokratnom pokušaju podizanja vrijednosti svojih dionica prije izlaska na burzu.