当地时间7月25日,谷歌DeepMind 在官网宣布宣布旗下人工智能完成了一项重要挑战:用 AI 做出了今年国际数学奥林匹克竞赛 IMO 的真题,并且距拿金牌仅一步之遥。
上周刚刚结束的 IMO 竞赛共有六道赛题,涉及代数、组合学、几何和数论。谷歌提出的混合 AI 系统做对了四道,获得 28 分,达到了银牌水平。
在这背后,由 DeepMind 团队研发的 AlphaProof 和 AlphaGeometry 2 共同实现了里程碑式的突破。其中,AlphaProof 是一种用于形式化数学推理的强化学习系统,而 AlphaGeometry 2 是 DeepMind 几何求解系统 AlphaGeometry 的改进版本。这一突破表明具有先进数学推理能力的通用人工智能 (AGI) 有潜力开启科学技术新领域。
Meta被曝多名新研究员离职;任正非、梁文锋、王兴兴等入选时代2025 AI百人榜。
字节跳动提出智能体安全框架;Meta斥资千万组建AI超级政治行动委员会;Anthropic推出谷歌浏览器AI助理。
AI图像生成的商业化进程有望大幅加速。
阿里发布编程平台Qoder;可灵AI推出基于2.1模型的全新首尾帧功能;Meta与谷歌云签署6年超100亿美元合作协议。
谷歌显然不希望错过中国这片创新沃土及背后的庞大出海机遇。