Mathathon: Old Problems, New Proofs