Shift-from-AlphaProofGeometry-to-Gemini-Deep-Think