https://theinnerdetail.com/new-machine-learning-model-solves-university-level-math-problems-in-seconds-mit-scientists/