Meet Celine Zhang, 18, who can prove puzzles without revealing answers