Machine learning and information theory concepts towards an AI Mathematician