Data games enable new questions about the way things work, and the way people think, that no one has asked before. Even DARPA is getting in on the action. The blue-sky research agency created a puzzle challenge last fall that asked solvers to piece together documents that had been shredded into more than 10,000 pieces. "Some at DARPA involved in the challenge did not think a solution could be found," Daniel Kaufman, the Shredder Challenge project manager, said in an email. The winning team used custom-built computer vision algorithms to suggest puzzle pairings, and humans put them together. In total, the winning team spent nearly 600 man-hours developing algorithms and piecing together documents, beating DARPA's deadline. DARPA is doing it again for other "wicked" problems, generally considered insolvable by conventional means. The first is a project called Crowd Sourced Formal Verification program, which seeks new games that will allow experts and novices to verify software code for DoD systems.