AI systems solving IMO geometry on podcasts · PodLume