I used AI, but mostly for geometry (e.g. find a formula to understand that lines are crossing each other).