> The field of Maths AI has come a long way in the course of the past several years, changing the view on efficient approach to solving a given mathematical problem and the way computations should be done. These AI systems utilize a variety of complex computations and advanced algorithms as well as machine learning models, which make it possible to solve several mathematical problems in a significantly faster and more efficient manner. Thus, this increase in technological competency brings up pertinent concerns about what the human mind would mean for mathematics in the future.