I served as the art director and principal artist on this very unusual little browser-based puzzle game, Monster Proof, developed in partnership with DARPA as a crowd sourced formal verification project. Players use problem-solving skills to answer mathematical questions, and as levels are solved the game crowd sources the software security process of formal verification.
But alas, being an art school graduate I limited my involvement to designing and building the graphical world in which all of this mathematical wizardry was to take place...