Proofs and Buckets of Fish - The Art of Mathematics | Wave AI Podcast Notes