As far as assisting with pure math problems, it is in its infancy. Yet ML in general has had numerous practical successes that most people use daily (speech re

As far as assisting with pure math problems, it is in its infancy. Yet ML in general has had numerous practical successes that most people use daily (speech recognition, reverse image search, recommendation systems, etc.). Yesterday, Yann LeCun wrote on his Facebook page: "I didn't know that Facebook, and now Meta, would be built around AI. If you extirpated deep learning out of Meta today, the company would literally crumble." [Source: https://www.facebook.com/yann.lecun/posts/10158029031237143?comment_id=10158029040167143&reply_comment_id=10158029456812143 https://www.facebook.com/yann.lecun/posts/10158029031237143?...]