(1) Nossa equipe na @GoogleDeepMind tem colaborado com Terence Tao e Javier Gómez-Serrano para usar nossos agentes de IA (AlphaEvolve, AlphaProof e Gemini Deep Think) para o avanço da pesquisa matemática. Eles descobriram que o AlphaEvolve pode ajudar a descobrir novos resultados em uma série de problemas.