Linux Mint 发行版释出了代号为 Wilma 的 V22，针对三种桌面环境 Cinnamon、MATE 和 Xfce 发布了三个版本。Linux Mint 22 是基于 Ubuntu 24.04，内核版本为 Linux 6.8.0，它将是一个长期支持版本，将一直支持到 2029 年。主要新特性包括：改进了英语之外的其它语言的支持，默认声音服务器切换到 Pipewire，软件源支持 Debian DEB822 格式，主题支持 GTK4，所有使用 libsoup2 的软件迁移到 libsoup3，等等，更多可浏览发布公告。

根据 IDC 的最新数据，2024 年第二季度，中国智能手机市场出货量约 7,158 万台，同比增长 8.9%，延续增长势头。其中在 vivo、Huawei 和 Xiaomi 等厂商的推动下，Android 市场同比增长 11.1%。大幅降价以后，虽然Apple 的市场需求明显改善，但是 iOS 市场出货量依然同比下降 3.1%。去年同期较低的出货量和新一轮换机周期的到来，帮助今年上半年中国智能手机市场出货量超过 1.4 亿台，同比增长 7.7%。中国智能手机市场前五家制造商分别为：vivo、Huawei、OPPO、Honor 和 Xiaomi，苹果落在了五名之外。IDC 称，更多中端消费者愿意消费升级，选择各方面使用体验更好的旗舰产品和大存储版本的产品来延长换机周期。第二季度中国 600 美元以上高端手机市场份额达到...

今天的 3A 级游戏通常会使用大量的声优、脸模和动作捕捉演员，他们可能更容易受到生成式 AI 的影响。由于无法与主要游戏公司就 AI 保护问题达成新协议，游戏表演者周四投票决定罢工，罢工从周五凌晨 12:01 开始。罢工针对了 10 家游戏公司，其中包括 Activision Productions Inc.、Blindlight LLC、Disney Character Voices Inc.、Electronic Arts Productions Inc.、Epic Games, Inc.、Formosa Interactive LLC、Insomniac Games Inc.、Take 2 Productions Inc.、VoiceWorks Productions Inc. 和 WB...

Google DeepMind 新 AI 系统 AlphaProof 和 A​​lphaGeometry 2 能在 2024 年国际数学奥林匹克(IMO)竞赛获得银牌，解决了六道题中的四道，获得了 28/42 分，标志着 AI 在数学推理方面取得重大突破。IMO 是历史最悠久、规模最大、最负盛名的青年数学家竞赛，自 1959 年以来每年举办一次。选手要解决代数、组合学、几何和数论方面六个异常困难的问题。DeepMind 表示，IMO 的数学问题被人工翻译成数学语言，供系统理解。在正式比赛中，学生们分两次提交答案，每次 4.5 小时。而 AI 系统在几分钟内解决了一个问题，花了三天时间解决其他问题。基于强化学习的推理系统 AlphaProof 解决了两个代数问题和一个数论问题并被证明答案正确，这些问题包括今年...

OpenAI 推出了直接挑战 Google 的搜索工具 SearchGPT。作为一种实验性产品，SearchGPT 没有开放使用，而是从周四开始开放给加入等候名单的 1 万名用户进行测试。它不同于 ChatGPT 生成一个答案，而是类似搜索引擎提供了一系列链接，允许用户点击进入外部网站。OpenAI 表示，SearchGPT 将提供来自 Web 的最新信息，同时提供相关来源的明确链接。即使网站选择不允许 OpenAI 抓取内容训练其 AI 模型，新的搜索工具将仍然能访问网站。

从美国到非洲萨赫勒地区，从欧洲到中东，今年夏天创纪录的气温和致命的热浪已造成数百人死亡。在穆斯林朝觐期间，酷热夺去了 1300 多名朝圣者的生命。古特雷斯秘书长在纽约联合国总部举行的新闻发布会上说：“数十亿人正面临着极端高温大流行--在越来越致命的热浪中煎熬，世界各地的气温高达 50 摄氏度。这意味着华氏 122 度，相当于沸点的一半。”他说：“信息很明确：酷热来袭。极端高温正在对人类和地球产生极端影响。全世界必须奋起应对气温上升的挑战。”古特雷斯强调，虽然肆虐的高温无处不在，但它对每个人的影响并不相同。面临最大风险的人群包括城市贫民、孕妇、儿童、老年人、残疾人、病人和流离失所者，他们通常居住在不符合标准的住房中，无法获得降温设施。联合国估计，在过去二十年里，65 岁以上老人因高温而死亡的人数增加了约...