Short optimization puzzles — then watch a real solver prove the best answer. Can you beat the algorithm?