AI systems solving IMO combinatorics on podcasts · PodLume