Occamova britva: Kraj matematike?

U jesen 2026. OpenAI objavio je dokaze za više od 700 matematičkih teorema. Neki od tih teorema bili su neriješeni desetljećima. Prije te spektakularne objave matematičar Daniel Litt objavio je esej pod naslovom Kraj matematike. Onda je izmijenio naslov eseja u Početak matematike. Bližimo li se onda kraju matematike? Ili je to njezin novi početak? To je tema današnje Occamove britve. Naš je sugovornik profesor doktor Zvonimir Šikić.