(1) Tim kami di @GoogleDeepMind telah berkolaborasi dengan Terence Tao dan Javier Gómez-Serrano untuk menggunakan agen AI kami (AlphaEvolve, AlphaProof, & Gemini Deep Think) untuk memajukan penelitian Matematika. Mereka menemukan bahwa AlphaEvolve dapat membantu menemukan hasil baru di berbagai masalah.