Hello! I’m a student at the University of California Santa Cruz. Myself, another student, and a professor have developed a new way to play Sudoku. It is identical in look, but it has a twist in that you must prove where numbers are located. You select pieces of evidence for a given conclusion and an AI system checks the validity of your evidence. We intend to create a website that can be left running for years for you to play and share puzzles, without any cost.
We are interested in the feedback you might have on the game.
Play online here: http://proofdoku.com/
A simple example of a single proof in our version would look something like this:
Here, we are making an argument for the unique value of the cell in the green box. If we made a board containing only the black cells (evidence cells selected by the player for this argument), that would be enough to know the value of the green cell: the conclusion (1).
You can also read a paper about the technology behind our game here: adamsmith.as/papers/answer-set-programming-in-proofdoku.pdf {PDF}
Thank you!
