AI要約 Google DeepMindは、Imperial College Londonなど世界の有力大学5校と連携し、AIを活用して数学研究を加速する「AI for Math Initiative」を発表した。Gemini DeepThinkやAlphaProof、AlphaEvolveといった最先端AIを研究者に提供し、新たな定理発見や証明支援を目指す。

EN The initiative brings together some of the world's most prestigious research institutions to pioneer the use of AI in mathematical research.