谷歌推送安卓15 QPR2 Beta 3：倒计时小部件，Pixel卫星SOS将登陆英国

近日消息，据科技媒体发布的权威博文显示，谷歌正式面向 Pixel 系列设备推送了安卓 15 QPR2 Beta 3 版本的更新。此次更新犹如一场科技盛宴，为用户带来了丰富多样的改进内容，同时也为预计在 3 月即将亮相的稳定版奠定了坚实的基础。

援引博文介绍，附上安卓 15 QPR2 Beta 3 更新主要内容如下：

1、时钟应用的倒计时小部件登陆手机

该功能此前于 8 月在平板电脑上推出。

2、Pixel 卫星 SOS 功能或将扩展至英国

在 Beta 3 版本中，Pixel 卫星 SOS 演示功能已在英国可用，预示着该功能可能扩展至美国以外地区。

3、在仅使用一种输入法 / 语言的情况下，输入法隐藏全球图标

4、更多 Toast 消息添加了应用图标

更改在 QPR2 Beta 2 及更早版本中已上线，下图是 QPR1 和 QPR2 Beta 3 对比：

安卓 15 QPR2 Beta 3 更新还修复了以下 BUG：

修复了拨打电话时可能导致设备重启的问题。

修复了尝试从应用概览恢复应用时返回主屏幕的问题。

修复了长按空格键访问的语言选择器菜单更改窗口，导致输入法在将 softInputMode 设置为 STATE_ALWAYS_HIDDEN 的应用中隐藏的问题。

修复了录制视频时有时会在后台发出咔嗒声的问题。

修复了在某些情况下导致无线充电停止工作的问题。

修复了在连接的 Wear OS 设备上开始锻炼后可能导致设备崩溃的问题。

修复了空指针异常有时导致系统界面崩溃的问题。

修复了提交错误报告时 Android Beta 反馈应用有时崩溃的问题。

修复了影响系统稳定性、连接性和交互性的其他各种问题。

谷歌DeepMind AI刷新数学竞赛纪录：银牌组巅峰，力解4道国际奥数难题

7月26日消息，DeepMind团队在最近的博文中宣布，其开发的AlphaProof和AlphaGeometry 2模型展现了杰出的数学推理能力，能够应对国际数学奥林匹克竞赛级别的难题，并取得了相当于银牌的成绩，这标志着人工智能在解决复杂数学问题上取得了新的突破。

AI 模型简介

AlphaProof：基于强化学习的全新数学形式推理系统。

AlphaGeometry 2：几何解题系统的改进版。

DeepMind 团队结合两个 AI 模型，协作解决了今年国际数学奥林匹克（IMO）6 道题目中的 4 道，首次在竞赛中取得与银牌得主同等的成绩。

评分团队

DeepMind 团队两位专家，根据 IMO 的评分规则进行评分，这两位专家分别为：

蒂莫西・高尔斯教授（Prof Sir Timothy Gowers）：著名数学家、IMO 金牌得主和菲尔兹奖得主。

约瑟夫-迈尔斯博士（Dr Joseph Myers）：两届 IMO 金牌得主、IMO 2024 年问题遴选委员会主席

AI 模型推理

AI 会将 IMO 的 6 道题目翻译成为模型可以理解的数学语言。

AlphaProof 通过确定答案并证明其正确性，解决了两个代数问题和一个数论问题，而其中解决的 1 个问题是比赛中最难的，在今年的 IMO 中只有 5 位选手解决了这一问题。

AlphaGeometry 2 证明了几何问题，没有解决 2 个组合问题。

AI 模型结果

按照 IMO 规则，6 道题目每道题可获得 7 分，总分最高为 42 分。

DeepMind 系统最终获得了 28 分，每个问题都得到了满分，相当于银牌组的最高分。

2024 年的金奖门槛从 29 分开始，在正式比赛中，609 名参赛者中有 58 人获得了金奖。