三星与谷歌联手，将于2月推出安卓生态全新统一快传功能Quick Share

在最近的国际消费电子展(CES)上，谷歌推出了一系列新功能，并宣布与三星合作开发全新 Quick Share，旨在取代 2020 年推出的 Google Nearby Share 附近共享系统。

据谷歌介绍，新版 Quick Share 融合了双方优秀的体验，是一种两全其美的方案，旨在成为 Android 和 Chrome OS 设备之间进行点对点内容共享的最佳内置选项。

此外，谷歌还表示他们正在与 LG 等“领先 PC 制造商”合作，计划在未来将新版 Quick Share 预装到 Windows PC 上。届时，你只需点击 Quick Share 图标即可查看附近可分享的设备列表。

当然，你也可以选择谁可以发现你的设备并向你发送文件（所有人、仅限联系人或仅限自己的设备）。谷歌表示，预计新版 Quick Share 将于 2 月份开始向当前支持 Nearby Share 的设备推出。

据悉，谷歌 Nearby Share for Windows 已于去年 4 月开始测试，并在 5 月正式上线，用户通过这款应用程序，可以快速在安卓手机和 Windows PC 上收发照片、文档等等。

谷歌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 人获得了金奖。

Rust助力安卓迁移见成效，谷歌发布新策略以加速内存安全保障

近日消息，谷歌公司在其官方博客中宣布了一项旨在减少内存漏洞的重要举措：加速采用Rust语言对其服务进行重构。通过利用Rust的安全特性和强大的内存管理能力，谷歌希望能够显著降低软件中存在的安全风险，尤其是那些与内存使用相关的错误。

谷歌在博文中表示，评估了 2023 年追踪的零日漏洞，发现 75% 是内存安全漏洞，实际利用的漏洞数量接近历史最高水平。

谷歌强调关注内存安全问题超过 20 年，早期采用 Java、Python 等内存安全语言，逐步建立了以 Go 为核心的生态，此外还开发了 sanitizers 和 fuzzers 等工具，帮助开发者动态检测和测试内存安全漏洞。

谷歌公司明确了“迁移到内存安全语言”和“降低和控制风险”两项策略，通过在代码库中融入 Rust 等内存安全语言，减少使用内存不安全代码。

谷歌称安卓平台已开始采用内存安全语言，内存安全漏洞数量显著下降，从 2019 年的 220 个降至预计的 36 个。

此外谷歌正强化 C++ 代码，在现有内存不安全代码中实施安全措施，消除特定类型的漏洞；此外通过沙箱技术和权限降低等手段加强软件基础设施的关键组件。