Post #2008 775 Oct 30, 2019, 14:56 UTC Deep learning hits mathematical theorem proofs#deeplearning #artificialintelligence https://arxiv.org/abs/1910.11797❇ @AI_Python_EN