3 6 Ke·2025-10-30 04:12Core Insights - Google DeepMind has launched the "AI Empowered Mathematics Program," collaborating with five top global institutions to leverage AI in solving complex mathematical problems [1][2][6] - The initiative aims to discover new mathematical challenges that can benefit from AI, build necessary infrastructure, and accelerate scientific discoveries [6][8] - Concerns have been raised by mathematician Terence Tao regarding the potential misuse of AI in mathematical research, emphasizing the need for responsible use and transparency [2][20] Group 1 - The five collaborating institutions include Imperial College London, Princeton Institute for Advanced Study, Institut des Hautes Études Scientifiques, Simons Institute for the Theory of Computing, and Tata Institute for Fundamental Research [2][6] - The program will be funded by Google.org and will utilize advanced technologies from Google DeepMind [8] - Recent advancements in AI, such as AlphaEvolve and Gemini models, have shown significant progress in solving mathematical problems, including achieving gold medal-level performance in competitions [11][14] Group 2 - AlphaEvolve has provided optimal solutions for 20% of 50 public mathematical problems, including a new efficient matrix multiplication method that broke a 50-year-old record [14][16] - The initiative aims to ensure the rigor of mathematical research while paving the way for the integration of AI and mathematics [5][6] - Terence Tao has proposed a set of guidelines for the responsible use of AI in research papers, including clear declarations of AI usage and discussions on potential risks [23][26]