Če ne znamo postaviti ravno pravega vprašanja, popularna orodja za iskanje povsem odpovedo. Ta težava je splošna. V vedno večjih količinah znanja vedno težje najdemo, kar nas zanima - to velja tudi (ali še posebej) v matematiki. Na tem predavanju bo tekla beseda o tem, zakaj je v kombinatoriki včasih lažje najti izrek kot v analizi ali topologiji, kaj bi lahko naredili, da bomo imeli v prihodnosti boljše iskalnike po matematičnem znanju, ter kakšno vlogo pri tem igrajo matematične baze in formalna matematika.

Katja Berčič je asistentka na Fakulteti za matematiko in fiziko v Ljubljani. Doktorirala je leta 2015 iz matematike. Po krajšem izletu v industrijo je pot nadaljevala na podoktorskih pozicijah na UNAM v Mehiki in FAU v Nemčiji. Raziskovalno se ukvarja z reprezentacijo in upravljanjem matematičnega znanja.