Agent Solves Stubborn Math Problems: Google’s Aletheia uses Gemini 3 Deep Think to find original mathematics solutions
LLMs have achieved gold-medal performance in math competitions. An agentic system showed strength in mathematical research as well.