People, Problems, and Proofs