Solving Years Old Math Problems with Deep Think