（1）我们在 @GoogleDeepMind 的团队一直在与 Terence Tao 和 Javier Gómez-Serrano 合作，利用我们的 AI 代理（AlphaEvolve、AlphaProof 和 Gemini Deep Think）推动数学研究。他们发现 AlphaEvolve 可以帮助在一系列问题中发现新结果。