AI资讯新闻榜单内容搜索-AI赋能数学计划

关键词: AI新闻,DeepMind,陶哲轩,AI数学,AI赋能数学计划

今天，谷歌DeepMind重磅发起「AI赋能数学计划」，集结了全球五大顶尖机构。他们将用上谷歌最强数学AI，去探索发现新的疆域。这其中，有夺下IMO金牌的Gemini Deep Think，有算法发现AI智能体AlphaEvolve，还有形式化证明自动补全AlphaProof。