# Designing Game of Theorems

## TL;DR

This paper explores the analogy between theorem proving and the game of Go, proposing a competitive system of provers that adapt and improve through self-play to prove user conjectures.

## Contribution

It analyzes the similarities and differences between theorem proving and Go, and introduces a novel competitive, self-improving prover system.

## Key findings

- Identifies key similarities and differences between theorem proving and Go.
- Proposes a self-adaptive system of competing provers.
- Suggests potential improvements in theorem proving using game-inspired methods.

## Abstract

"Theorem proving is similar to the game of Go. So, we can probably improve our provers using deep learning, like DeepMind built the super-human computer Go program, AlphaGo." Such optimism has been observed among participants of AITP2017. But is theorem proving really similar to Go? In this paper, we first identify the similarities and differences between them and then propose a system in which various provers keep competing against each other and changing themselves until they prove conjectures provided by users.