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

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

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

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

如题，AlphaProof

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

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

OpenAI神秘“草莓”项目，计划最早今年秋季推出！ 上个月，OpenAI的内部团队被曝出正开发的“草莓”（Strawberry）项目，目的是增强OpenAI的模型的推理能力，处理复杂科学和数学问题的能力，让大模型不仅能生成查询答案，还能提前规划，以便自主、可靠地浏览互联网，进行OpenAI 定义的“深度研究”。 奥特曼曾强调，今后AI发展的关键将围绕推理能力展开。 推理能力史上最强！正为新一代旗舰模型提供训练数据 而这个“草莓”项目的......

o1方法性能无上限！姚班马腾宇等数学证明：推理token够多，就能解决任意问题 | 量子位 难道我们人类的未来只有在非计算类问题卷的份儿了么？计算问题领域要么就是数学天才们去优化效率降低一些计算资源的消耗，要么就是应用天才们把现实的各类难题建模转化成数学，别的就全部交给transformer了。