Also the International Math Olympiad. This is a proof test that 6 person high school teams from around the world compete in.