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