Kraj matematike. Ili (novi) početak
OpenAi objavio je početkom listopada 2026. godine dokaze više od 700 matematičkih teorema, od kojih su mnogi impresivni. Oslanjajući se na esej Daniela Litta Zvonimir Šikić raspravlja je li to početak ili kraj matematike, što će raditi matematičari, a na kraju na konkretnim primjerima postavlja pitanje verifikacije dokaza