OpenAI News Research & Papers · Jun 2, 2018 07:00 imp:40 GamePad: A learning environment for theorem proving Abre la fuente original para leer el artículo completo. Leer el original en OpenAI News →