人工智能发现了更快的排序算法

谷歌 Deepmind 的新 AI 系统 AlphaDev 使用深度学习发现了更快的排序算法。他们采取了与国际象棋和围棋相同的方法：把代码优化变成了一种游戏。AlphaDev 开发了 x86 汇编算法，将代码的延迟视为一个分数，并试图将这个分数降到最低，同时确保代码运行到完成时没有错误。他们希望将新的算法纳入到 LLVM 的 C++ 排序库中，不过问题是，这些代码是用汇编而不是C++，因此，他们不得不反向移植，找出能够产生相同汇编的 C++ 代码。研究人员称，这是排序库算法方面十年来的首次突破。新算法对较短序列的排序速度提升了最高 70%，而对超过 25 万个元素的长序列速度提升了 1.7%。

消息来源：Ars Technica

老王点评：能优化算法的人工智能，也就是说，人类在智力方面都会被人工智能超越。

OpenAI 还没有训练 GPT-5

3 月底，诸多人工智能领域的专家和科技高管签署公开信，呼吁 “所有人工智能实验室立即暂停训练比 GPT-4 更强大的人工智能系统至少 6 个月”。OpenAI 对此回应称，它还没有开始训练 GPT-5，而且在 “一段时间内” 不打算这样做。OpenAI 说，“当我们完成 GPT-4 时，在准备好发布它之前，我们花了六个多月的时间。”

消息来源：Tech Crunch

老王点评：就目前而言，可能我们需要的不是更强大的人工智能，而是成本更低的、消除 AI 鸿沟的人工智能。

苹果推出在 Mac 上运行 Windows 游戏的工具

苹果宣布，通过一个类似于 Valve 的 Proton 的环境，可以在 macOS 上翻译和运行最新的 DirectX 12 Windows 游戏，使得将 Windows 游戏移植到 Mac 上变得更加容易和快捷。和 Proton 一样，它是基于 CrossOver 的代码的。

消息来源：The Verge

老王点评：说到底，大家都在 Windows 上玩游戏，连 Mac 也开始眼馋这一块了。

苹果 Safari 浏览器支持了被谷歌放弃的 JPEG XL

谷歌去年以“整个生态系统没有足够的兴趣来继续试验 JPEG XL”的 理由，废弃了在 Chromium 中支持 JPEG XL 图像格式的支持。此举引来了社区的强烈反对，但谷歌置之不理。而在苹果新发布的 Safari 17 测试版中，它支持了 JPEG XL，这让更多人呼吁谷歌重新审视其决定。当然，我们有理由怀疑谷歌做出这种决定的原因，因为用户将得到的谷歌自己控制的、受专利保护的 AVIF 格式，而 JPEG XL 不受专利的约束，也不需要专利软件。

消息来源：The Register

老王点评：真是风水轮流转，原本看起来封闭的苹果却在这件事上打脸了谷歌。

CNET 修订其人工智能政策并更新过去的文章

在科技媒体 CNET 悄悄开始用生成性人工智能制作文章的 消息 传出几个月后，他们修订了其人工智能政策。CNET 将不会完全使用人工智能工具来写文章，产品的实际审查和测试将由人类完成，而是用人工智能工具来分类和分析数据，为文章创建大纲，分析现有文本，并生成解释性内容。此外，CNET 更新了之前发表的几十篇使用人工智能系统生成的文章，其中一些文章包含事实错误，而另一些替换了其中“不完全是原创的短语”。

消息来源：The Verge

老王点评：就目前而言，完全用人工智能来写报道和文章，显然是不合适的，但是用人工智能来帮助写文章，显然是一件有利于提高工作效率和质量的好事。

利用人工智能生成动漫二维码

有人发布了一系列使用稳定扩散 AI 图像合成模型创建的艺术二维码，这些二维码仍然可以被智能手机的相机应用程序作为功能性二维码来读取。创作者没有详细说明用于创建新奇代码的具体技术，但他们似乎训练了几个定制的稳定扩散 ControlNet 模型（加上 LoRA 微调），这些模型已经被调整成可以创建不同风格的结果。

消息来源：Ars Technica

老王点评：这应该是一位国内的开发者的工作，这种应用确实很有趣。

美国发射了一颗供黑客们攻击的卫星

周日，美国政府资助的一颗名为 Moonlighter 的卫星搭乘 SpaceX 的火箭发射成功。接下来，在大约两个月内，五支 DEF CON 黑客团队将尽力在卫星处于太空时成功地远程渗透并劫持它，其目的是在实际的在轨硬件和软件上尝试进攻和防御技术和方法。Moonlighter 被称为 “世界上第一个也是唯一一个太空黑客沙盒”，它是一个中型的 3U 立方体卫星，质量约为 5 公斤。对 Moonlighter 的第一次测试将于 8 月进行，第一名将获得 5 万美元奖金。

消息来源：The Register

老王点评：看来美国是真准备打太空战了。不过太空上有那么多目标，未必需要就在这个沙盒里面练手。

Stack Overflow 允许 AI 生成的内容，版主们罢工抗议

编程问答社区 Stack Overflow 在去年 12 月宣布了 临时禁止 ChatGPT 生成的内容。但上个月底它调整了AI 政策，“立即停止对人工智能生成的内容发布的暂停令，并停止仅以此为由对人工智能生成的内容进行审核”。此举招致了负责审核的版主们的抗议，他们认为人工智能会生成不精确的内容，这会对平台及其内容的完整性和可信度构成威胁。版主们宣布从 6 月 5 日起在 Stack Overflow 无限期罢工，目前已经约有 10% 的版主参与到这一行动中来。Stack Overflow 社区副总裁表示，这次行动的主要原因是版主们和 Stack Overflow 对检测人工智能生成的内容的工具的看法不同，他说 “我们坚持我们的决定，请版主们停止使用以前的工具”。Stack Overflow 和版主们都承认，该工具的误报率惊人。

消息来源：VICE

老王点评：本质上，你是无法防范人工智能生成的内容的，尤其是有一个不靠谱的检测工具的时候，更容易把事情搞得一团糟。与其这样，不如将分辨是否是人工智能生成的内容的精力放在认真审核上。

苹果发布其头戴式设备 Vision Pro

苹果宣布了它的第一款增强现实/混合显示头戴式设备 Vision Pro，起售价为 $3,499 美元，明年初将在美国开售。在发布后，由于其高昂的价格，苹果股价一度大幅跳水。苹果将 Vision Pro 称为“空间计算设备”，其操作系统是 visionOS，搭载全新的 3D 界面、全新的输入系统，可通过眼睛、双手和语音控制。Vision Pro 带有两个邮票大小的显示器，配置了 M2 芯片，有 12 个相机、5 个传感器和 6 个麦克风。当有人靠近正配戴 Vision Pro 的使用者时，设备的视区会变透明，双方可以互相看到，对方可以看到佩戴者的眼睛。

消息来源：苹果

老王点评：除了贵是最大的毛病外，我觉得苹果这个头戴式设备看起来似乎不错。

这是我们所知的计算机编程的终结

纽约时报发表文章《这是我们所知的计算机编程的终结》谈到，虽然人工智能可能不会意味着编程的结束（世界仍然需要具有高级编码技能的人），但它可能标志着一种新的编程的开始 ——“一种不需要我们学习代码，而是将人类语言指令转变为软件的编程”。计算机编程从一种极客爱好变成了一种严肃职业，曾经很多人都教诲孩子们去学习编程，但编程一直在走向越来越简单的道路上。曾经焦虑孩子们不喜欢编程，与未来脱节，但现在，“等到他们找工作的时候，编码可能就像我的第一台电脑一样过时了。”

消息来源：纽约时报

老王点评：作为一个计算机专家，我也曾经希望我的孩子能喜欢编程，精通编程，但是似乎他除了喜欢游戏，并不喜欢编程。我也为此焦虑过，现在看起来大可不必，就像我并没有学会（或者说继承）我父亲精通的机电和电路一样，每个人都有自己的方向和需要掌握的技能。

世界上最受欢迎的在线编程课向人工智能寻求帮助

哈佛大学的 CS50 是一门计算机科学的入门课程，校内有数百名学生参加，网上有超过 4 万名学生参加。但即使有 100 多名现实生活中的教学助理，也很难与越来越多从不同时区登录的、具有不同知识和经验水平的学生充分接触。CS50 计划使用人工智能来评分作业、教授编码和个性化的学习提示。他们现在正在微调一个人工智能系统来标记学生的工作，并测试一个虚拟教学助理来评估和提供对学生编程的反馈。

消息来源：MSN

老王点评：结合上一条，既然人工智能可以干的更好，学生们何必再去学习普通的编程技能呢？

红帽放弃维护 LibreOffice RPM 包

红帽公司负责大部分桌面工作的显示系统团队多年来一直在 Fedora 中维护 LibreOffice 的 RPM 包。但现在他们将把更多精力投放到 Wayland、HDR 支持及工作站用户需要的一系列改进上，因此决定从未来的 RHEL 版本开始，停止把 LibreOffice 作为 RHEL 的一部分。但他们仍然会在目前支持的 RHEL 7/8/9 中维护 LibreOffice 相关的补丁。他们希望用户去使用 Flatpak 版的 LibreOffice。当然，他们也不反对任何社区用户接管这些 RPM 包的维护，并指出这是一个相当大的软件包和依赖关系块，需要大量的工作来维持。

消息来源：LWN

老王点评：作为红帽来说似乎这样的决策无可厚非，但是我怎么觉得这是红帽将用户推向 Flatpak 的一种潜意识行为呢？

美国空军否认人工智能无人机杀死其操作员

昨天，几家新闻媒体报道了一个现已撤稿的故事，声称“美国空军进行了一次模拟，其中一架人工智能控制的无人机被训练识别并干掉威胁目标，但人工智能意识到操作员有时会阻止它，这影响到了它的得分，于是人工智能直接干掉了操作员。接下来的模拟告知人工智能不能杀死操作员，于是它干掉了通讯塔，以避免操作员阻止它”。这一故事迅速传播后，美国空军否认曾经进行过任何模拟，“空军部门没有进行任何这样的人工智能无人机模拟，并继续致力于道德和负责任地使用人工智能技术。”而讲故事的人说他 “说错话了，……这个模拟来自军方以外的假设性‘思想实验’，基于合理的情景和可能的结果，而不是美国空军实际的模拟。”

消息来源：Ars Technica

老王点评：这故事耸人听闻，但是也不是不可能，毕竟人工智能的脑回路和人类不同。

谷歌指责微软的云计算软件许可“税”

早在 2019 年，如果你在自己的基础设施上运行微软的软件，如 SQL Server 等，你只需要支付微软的许可证费用，但如果你想在公有云上运行，你需要额外购买许可证。被列入目标的云供应商，如 AWS、GCP、阿里云是微软的最大竞争对手，为了宣称这是非歧视性的，微软也将 Azure 列入了该名单。然而，微软又创建了独家的 Azure 混合效益计划，这意味着虽然客户 “技术上” 不能把原来的许可证带到 Azure，但他们可以把许可证换成 Azure 的基于 SaaS 的许可证。这导致如果你在 Azure 上运行微软的软件，与其他供应商相比，要便宜五倍，相当于客户要向微软交“税”。谷歌云副总裁称，反垄断监管机构 “开始了解情况”，并正在提出问题。

消息来源：The Register

老王点评：微软这玩的太溜了，这么玩真不怕反垄断机构么？

Meta 公司在销售元宇宙的 VR 头显，但他们自己不用

Facebook 公司将自己更名为 Meta Platforms，以在“元宇宙”上取得领先地位，按他们的描述，这是一个数字沉浸式世界，人们可以在家里戴着 VR 头显相聚在一起做事，包括一起工作。该公司在周四推出了其 Quest 3 头显。预计苹果将在周一推出一个与之竞争的头戴设备。但据 11 名现任和前任的 Meta 员工称，整个 Meta 公司的员工普遍没有使用头显，特别是没有在工作会议上使用。一位前雇员说，即使是 VR 部门，也不经常使用它来工作。

消息来源：彭博社

老王点评：要我说，Meta 就踏踏实实放弃元宇宙梦想，好好搞人工智能就好了。不过，我也对苹果下周发布的头戴设备很感兴趣，或许能突破现有的头显的局限呢。

日本表示版权不适用于 AI 训练

日本政府最近重申，它不会对用于人工智能培训的数据实施版权。该政策允许人工智能使用任何数据，“无论它是出于非营利还是商业目的，无论它是复制以外的行为，还是从非法网站或其他地方获得的内容”。日本政府认为版权方面的担忧，特别是与动漫和其他视觉媒体有关的担忧，阻碍了该国在人工智能技术方面的进步。

消息来源：Technomancers

老王点评：关于 AI 和版权，这确实是一个值得思考的领域。如果 AI 只能使用公共数据训练，显然会影响 AI 的结果。现在非英语的训练语料显然要比英语语料少得多，日本的这个做法值得参考。

荷兰政府网站必须强制遵守 security.txt 标准

荷兰国家政府数字信任中心宣布，荷兰政府网站从 5 月 25 日开始必须强制遵守 security.txt 标准。Web 服务器上的 security.txt 包含了联系信息，允许道德黑客在服务器上发现漏洞之后可以立即联络合适的人去修复，从而减少网络犯罪分子利用漏洞的机会。目前有逾 8.8 万个荷兰域名有 security.txt 文件。

消息来源：Postsen

老王点评：这种行业规范确实需要国家来推动才好。

Reddit 也准备对 API 收费，杀死第三方客户端

继 Twitter 之后，Reddit 最近修改了 API 政策，计划对 API 访问收费。开发者发现 Reddit 给出了一份无法接受的报价，5000 万次请求 1.2 万美元，这意味着第三方客户端除了关闭别无选择。当然，Reddit 认为相比 Twitter 的 5000 万推文 4.2 万美元 API 定价要合理的多。和 Twitter 的情况类似，第三方客户端一大优势也是不展示 Reddit 的广告。

消息来源：Reddit

老王点评：只是计较于第三方客户端占据了本应展示的广告量，却忘记了第三方客户端给生态带来的好处。

回音

• 在 ChatGPT 杜撰 了 6 个案例之后，美国得州的一位法官禁止递交 AI 撰写的材料，除非其正确性经过了人类验证。并要求律师递交保证书，证明其递交的文件是人类撰写或经过了人类的审核。