Abstract optimization games like this remind of Verigames, a DARPA project researching gamification of scientific problems (such as protein folding or formal ve

Abstract optimization games like this remind of Verigames, a DARPA project researching gamification of scientific problems (such as protein folding or formal verification of software) so crowds of untrained human players could attempt the solve the problems. https://www.scientificamerican.com/citizen-science/darpa-verigames-crowdsourced-formal-verification-csfv-project/ https://www.scientificamerican.com/citizen-science/darpa-ver... https://en.wikipedia.org/wiki/Foldit https://en.wikipedia.org/wiki/Foldit