Donatsu

Hello everyone! My name's Mark Johnson, and alongside Professor Simon Colton (http://ccg.doc.gold.ac.uk/simoncolton/) of the Computational Creativity Group (http://ccg.doc.gold.ac.uk/) at Goldsmiths College and an artificial intelligence known as the HR system (http://www.doc.ic.ac.uk/~sgc/hr/), we've been developing a new kind of paper puzzle game. We're calling it Donatsu! The HR system is a piece of software that automatically creates mathematical concepts and discovers conjectures about them. The system is now capable of generating and testing the solvability of puzzles within wide co