Accelerating discovery with the AI for Math Initiative

Google DeepMind 宣布成立「AI for Math Initiative」，聯合全球頂尖研究機構，利用 AI 驅動數學研究與定理證明。

Google DeepMind 宣布推出「AI for Math Initiative」計畫，旨在匯聚全球最頂尖的學術與研究機構，共同開創人工智慧在數學研究中的應用。該倡議將專注於利用 AI 工具協助數學家解決複雜難題、發現新定理，並推動數學科學的整體進步。這標誌著 AI 從輔助計算走向深度參與基礎科學探索的新里程碑。

摘要由 AI 整理,以原文為準。