AI要約 GoogleのGemini Deep Thinkが数学者や科学者と連携し、長年未解決だった数学問題で新たな進展を達成した。並列推論技術により複雑な定理証明や科学的予想の検証を支援し、AIによる研究加速の実例を示した。

EN Research papers point to the growing impact of Deep Think across fields

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.