谷歌DeepMind捅破AI数学推理上限

IMO被视为衡量人工智能系统高级数学推理能力的标杆，而谷歌DeepMind是第一个以银牌级别解决国际数学奥林匹克问题的人工智能。

继击败人类围棋大师和游戏玩家之后，谷歌旗下“深层思维”公司25日宣布，其人工智能系统在测试中成功解答了2024年国际数学奥林匹克竞赛的考题，最终得分达到本次比赛的银牌水平，但其解答多数考题的时间较长。

据知情人士向媒体透露，最近几个月，谷歌多个团队在人工智能推理软件方面取得了进展，这类软件在解决数学和计算机编程等领域的多步骤问题时表现更加出色。与OpenAI一样，谷歌也在尝试使用一种称为“链式思维提示”（chain-of-thought prompting）的技术来模拟人类推理。同时，该公司也在开发AI实验室助手产品，希望帮助实验室提高科研效率。

谷歌推出「暗网报告」功能：免费开放，本月月底开放；谷歌 DeepMind CEO：当前 AI 综合智力还不如普通家猫；​萝卜快跑已在 11 个城市开放载人测试运营服务；急追英伟达，AMD 以 6.65 亿美元现金收购 AI 模型开发商 Silo AI 

如题，AlphaProof

AI驱动下，谷歌Q2云业务创新高，广告主利润提升15%，广告收入同比增长11%。

AI交通已在路上，未来几年内有望提高交通效率并实现智能驾驶。

高通与谷歌将共同开发一个可升级的数字座舱框架，该框架将提供实时增强的数字座舱体验。