“The Aletheia math research agent is powered by an advanced version of Gemini Deep Think.”