Penn professor's AI song saves 2 + 2 for mathematicians

Joshua B. Plotkin's satirical video credits Claude for the lyrics and video code, and Suno for the music and vocals. Its AI narrator claims the proofs, then leaves humans a few easy problems.