A study titled 'Machine learning and information theory concepts towards an AI Mathematician' by Yoshua Bengio and Nikolay Malkin looks into the challenges AI faces in mathematic reasoning. Leveraging info-theoretical approaches, the essay considers what makes a mathematical statement interesting, aiming to discover conjectures rather than proving them. It suggests the desirable theorems should succinctly summarize all provable statements while being accessible.