2 ms·This sounds more like a computer playing a proof game rather than a computer inventing a proof game.by jcoffland 11y agoThis sounds more like a computer playing a proof game rather than a computer inventing a proof game.