Holophrasm: a neural Automated Theorem Prover for higher-order logic
Mastering the game of Go with deep neural networks and tree search