奇客Solidot–传递最新科技情报

2026 年菲尔兹奖公布

Fri, 24 Jul 2026 00:44:29 +0800

7 月 23 日举行的国际数学家大会公布了 2026 年菲尔兹奖得主，四名得主的名字与此前泄漏的名单完全一致。菲尔兹奖被誉为数学界的诺贝尔奖，这是首次有两名中国数学家同时得奖。邓煜在公理化物理的希尔伯特第六问题上做出重大贡献，王虹解决了开放问题三维空间内的挂谷集合猜想，John Pardon（白杰文）解决了 Gromov 的纽结理论问题，Jacob Tsimerman 在 André-Oort 猜想等问题上做出了重大贡献。

Google 因搜索和应用商店服务违反 DMA 被欧盟罚款 8.9 亿欧元

Thu, 23 Jul 2026 23:47:24 +0800

Google 因搜索和应用商店服务违反在线竞争法，被欧盟处以总计 8.9 亿欧元的罚款。欧洲委员会表示，Google 违反了 Digital Markets Act（DMA），在搜索结果中优先展示自家服务如购物和酒店而非竞争对手的服务。Google 还通过阻止应用开发者引导消费者前往更便宜的网站或替代应用商店购买而违反了 DMA。Google 因搜索相关违规被罚款 4.6 亿欧元，因应用商店违规被罚款 4.3 亿欧元。欧盟委员会命令 Google 以“公平且无歧视的方式”对待在搜索结果中出现的第三方服务，允许应用开发者在 Google 应用商店之外提供优惠。欧盟委员会指出，Google 已开始测试调整其搜索结果中自家服务的展示方式，称这些变化“在合规方面取得了实质性进展”。

逾半数候鸟种群数量出现下降

Thu, 23 Jul 2026 23:29:32 +0800

对地球逾 3380 种候鸟的评估报告显示，由于栖息地丧失、有害入侵物种、与建筑物碰撞、狩猎、宠物贸易、有毒杀虫剂等等威胁，逾半数候鸟种群数量出现下降。候鸟不仅仅是非凡的旅行者。它们传粉植物、传播种子、控制农业害虫、在生态系统之间运输养分，并通过吸引观鸟者和生态旅游支持当地经济。它们的数量减少不仅意味着生物多样性的丧失，还预示着支持野生动植物和人类的生态系统正逐步崩溃。研究人员呼吁各国政府采取行动保护候鸟。

科学家发现给工蜂分配工作的隐蔽开关

Thu, 23 Jul 2026 23:10:18 +0800

工蜂的工作任务会随年龄而变化，年轻工蜂照料蜂后和发育中的幼体，之后帮助建造和维护蜂巢以及抵御威胁，年长工蜂在生命的末期则会离开蜂巢外出觅食。工蜂的行为变化是由其大脑约百万个神经元之间的相互作用驱动的，此前科学家并不清楚神经系统如何产生这种与年龄相关的任务转换。现在科学家在研究名为 doublesex 的基因时注意到了不同寻常的行为变化。当年长工蜂的 doublesex 基因失去活性之后，它们又开始照顾蜂后了，表明该基因在控制与年龄相关的工作行为上发挥重要作用。doublesex 基因仅在特定神经回路发挥作用，科学家随后通过抑制基因相关回路改变了工蜂的行为模式。研究报告发表在 PNSA 期刊上。

Codeberg 拒绝托管 vibe-coded 项目

Thu, 23 Jul 2026 18:44:38 +0800

托管了众多知名开源项目的德国非盈利组织 Codeberg 在会员投票之后宣布了重大政策改变：首先是它承诺不会用用户的任何数据去训练大模型，其次是会员以 358 票赞成 144 票反对通过了提议，禁止 vibe-coded 项目。Codeberg 官方博客称，LLM 是一项成本昂贵的技术，且随着 AI 公司开始收回投资，成本还在不断攀升。这种成本不仅体现在云服务和订阅费用中，事实上每个人都深受影响。LLM 的成本如此之高以至于公司将成本转嫁给不使用 AI 的人和整个社会。硬件价格上涨、能源消耗增加以及环境破坏——我们所有人都在为此买单！AI 公司的爬虫让 Codeberg 的服务器不堪重负，而用户寥寥无几的 vibe-coded 项目消耗的资源甚至堪比大型的开源项目。LLM 的训练和部署大幅提高了硬件采购成本，尤其是 SSD 和内存。几年前采购一块硬盘只需要 700 欧元，如今相同的硬盘需要 3700 欧元，而且经常缺货，因此 Codeberg 托管代码的成本也越来越高。数据中心等基础设施、LLM 生成代码的版权和许可证问题，分享根据提示词通过 LLM 生成代码并称之为开源软件的举措并不会让世界变得更好，Codeberg 不想成为托管此类代码的平台，不希望浪费有限的资源，它将开始采取行动清理 vibe-coded 项目，偶尔使用 LLM 生成代码或维护者在不知情下接受了贡献者递交的 LLM 生成代码的项目预计不会受到影响。

通用汽车悄悄成为一家订阅服务公司

Thu, 23 Jul 2026 16:06:24 +0800

通用汽车正在大力发展软件和订阅业务。在周二的财报电话会议上，高管表示公司正日益依赖 OnStar 和 Super Cruise 等软件订阅服务，以在客户购车后创造长期的高利润经常性收入。OnStar 在第二季度带来了约 8 亿美元的收入，而 Super Cruise 的收入同比增长约 70%。通用汽车表示，软件业务每赚取 1 美元的收入就能保留 70 美分作为利润。这在汽车行业是一个罕见的盈利水平，汽车行业每 1 美元的销售额通常只能带来 4-10 美分的利润。通用汽车预计今年将新增约 100 万 OnStar 用户，总用户数接近 1300 万。允许双手脱离方向盘但须保持注意力的辅助驾驶系统 Super Cruise 的增速更快。通用汽车在第二季度新增了约 7 万用户，预计年底用户数将超过 85 万。该服务收入与去年同期相比增长了 70%。

法国禁止 15 岁以下儿童使用社交媒体

Thu, 23 Jul 2026 15:34:40 +0800

法国议会通过了禁止 15 岁以下儿童使用社交媒体的法案，成为欧洲首个正式禁止儿童使用社媒的国家。随着越来越多的警告指出社交媒体对儿童的有害影响，愈来愈多的国家正采取措施限制社交媒体的使用。法国参议院于周二批准了该法案，国民议会随后以 279 票赞成 81 票反对通过了该法案。未成年人社媒禁令将分两个阶段实施，从 9 月 1 日起禁止 15 岁以下用户创建新社媒账户，从 2027 年 1 月起禁令适用于现有账户，未成年人账号将被关闭。

天文学家首次观测到系外卫星

Thu, 23 Jul 2026 15:20:25 +0800

国际天文研究团队在《自然》上发表论文称，首次发现一套罕见三层等级天体系统观测证据，捕捉到疑似宇宙“系外月球”信号，为人类搜寻系外卫星开辟全新观测路径。人类至今已探明超 6000 颗系外行星，但始终没有一颗系外卫星获得明确观测确认。所谓系外卫星，也常被称作“系外月球”，特指围绕系外行星运转的天体；而本次新发现的系统结构更为特殊：恒星环绕褐矮星伴星，褐矮星外侧又存在一颗大型卫星，构成恒星—褐矮星—卫星三级嵌套结构，是人类首个观测到该类型的候选天体系统。对 CD-352722 B 系统的分析显示，该褐矮星外侧存在一颗质量约 0.9 倍木星的巨型天体，轨道周期约 170 天。模型推演证实，系统至少存在一颗卫星的可信信号；若假设系统存在两颗卫星，轨道模型将呈现高度不稳定状态，与实际观测不符。

美国陆军也耗尽了它的可用 Token 要求限制使用

Thu, 23 Jul 2026 14:29:46 +0800

即便是美国军方，他们也没有无限量的 Token 可用。美国陆军发出通知，称其 Token 几乎耗尽，要求军人限制使用。美国陆军使用名为 Ask Sage 的多模生成式 AI 平台，可运行不同的大模型，包括 Alphabet 的 Gemini、Meta 的 Llama 以及 OpenAI 的 ChatGPT。一名匿名的陆军军人称，陆军的一个服务就把一整年的 token 烧光了。他称陆军一直在鼓励军人使用生成式 AI。每人每月至少获得 20 万个 token，如果用完初始配额，系统会自动分配更多 token。据报道，美国军方在针对伊朗的 Operation Epic Fury 行动期间，每天消耗了 200 亿个 tokens。

数学家仍然不知道乘法的最快方法

Thu, 23 Jul 2026 00:52:36 +0800

我们在小学时学习的多位数乘法叫竖式乘法，其时间复杂度为 O(n²)，即位数越长，计算量随位数的平方增长。举例来说，两个两位数相乘，需要进行四次计算；两个三位数相乘，需要进行九次计算。位数越长，计算量会越来越惊人。那么 O(n²)是否是乘法的速度极限呢？苏联著名数学教授 Andrey Kolmogorov 在 1960 年的一次研讨会上讨论了这一猜想，仅仅一周之后，23 岁的学生 Anatoly Karatsuba 就给出了否定答案。他发现可以用简单快速的加法去替代费劲的乘法计算，而两个 n 位数相加的时间复杂度仅为 O(n)，加法只需要遍历数字一次，而乘法需要对 n 位数的每一位进行完整遍历。通过这一代数技巧，他将乘法的时间复杂度减少到 O(n^1.585)，比O(n²) 快得多。Karatsuba 算法的优势只有在数字较大时才会体现出来。Python 语言就使用了混合方法，当数字较小时使用小学乘法，当数字大于 630 位十进制数时改用 Karatsuba 的算法。2019 年数学家 David Harvey 和 Joris van der Hoeven 找到了一种比 Karatsuba 算法更快的方法，其时间复杂度为 O(n × log n)，但它相对于 Karatsuba 算法的优势只有在数非常非常大时才会体现。Harvey-van der Hoeven 算法被普遍认为是乘法的最快方法，但目前尚无正式证明。

空客准备将其应用从亚马逊 AWS 迁移到法国的 Scaleway

Wed, 22 Jul 2026 23:08:36 +0800

为了维护数字主权，确保关键系统和数据掌控在欧洲自己手中，空客准备将其约 900 个应用从亚马逊 AWS 迁移到法国云服务商 Scaleway。AWS 与所有美国平台一样，并不能确保其客户的敏感数据不被政府索取。数字主权如今是真正的商业驱动力。美国曾经是欧洲人信任的国家，但如今它站在了和俄罗斯以及中国同等的位置上。

大众汽车的官方应用不支持第三方 Android 系统

Wed, 22 Jul 2026 22:54:38 +0800

大众汽车的官方应用不支持第三方 Android 系统。大众汽车的客户如其手机运行 GrapheneOS、LineageOS 或 /e/OS 等没有预装 Google Play Services 的第三方 Android 系统，那么他们将无法通过手机运行官方应用查看汽车剩余续航里程、预约保养服务，控制充电和空调。对于这一问题，官方表示在调查，同时警告短时间内不会有变化。大众汽车解释说，它的应用使用了 Google 的 Play Integrity API，而该 API 只有预装了 Play Services 的 Android 设备会提供。GrapheneOS 最近抨击了 Google 在 Play Integrity API 功能上误导企业，称该 API 并没有真正强制要求设备安全或应用合法，只是装装样子。它留下了巨大的安全漏洞。它强制执行的是 Google 的商业利益。

Firefox 预览原生多账户容器功能

Wed, 22 Jul 2026 22:32:55 +0800

Firefox 的扩展 Multi-Account Containers 备受欢迎，它允许用户在浏览器上同时登陆多个账号，账号之间通过容器彼此隔离。现在 Mozilla 正致力于将该扩展变成原生功能，刚刚释出的 Firefox 153 提供了容器的原生预览版，允许用户将工作、购物、个人和银行等不同在线活动隔离，同时确保每个容器内的 Cookie 和广告追踪信息完全隔离，用户在一个容器内的操作不会被其它容器看到。

LG 将封禁住宅代理智能电视应用

Wed, 22 Jul 2026 18:58:38 +0800

LG USA 宣布将封禁内置住宅代理功能的智能电视应用。此前安全公司 Spur 的研究发现，LG webOS 应用商店逾 42% 的游戏和其它应用内置了住宅代理 SDK，也就是会出售用户的家用 IP 作为代理服务使用。三星 Tizen 应用商店也有逾四分之一应用内置了住宅代理 SDK。LG 高级副总裁 John Taylor 表示，该公司正与应用开发者合作移除应用中的住宅代理 SDK，未遵守规定的开发者其应用将会下架。未来的 LG 智能电视应用将禁用住宅代理。

尼安德特人可能和现代人类一样聪明

Wed, 22 Jul 2026 18:39:13 +0800

在现代人类祖先走出非洲踏上欧亚大陆前，尼安德特人在此繁衍生息了逾 30 万年，但与现代人类相遇数千年后它就消失了。一种解释认为现代人类依靠更出色的智力战胜了尼安德特人，另一种解释认为双方融合了。发表在 PNAS 期刊上的一项新研究利用形变映射法（deformation mapping）重建了尼安德特人颅骨内表面，与现代汉人以及欧洲裔人群进行了对比。结果显示尼安德特人可能和现代人类一样聪明，而现代人类之间的差异比尼安德特人和现代人类之间的差异更大。新研究支持融合理论。

苹果应用商店涌入大量 AI 辅助开发的应用

Wed, 22 Jul 2026 17:00:39 +0800

根据 Sensor Tower 的估计，2025 年苹果 App Store 上架的新应用数量增长 30% 达到约 60 万。今年上半年，新应用数量翻了一番达到约 56 万。虽然更多的应用理论上能为苹果带来更多的佣金，然而应用数量的大幅增长并没有带来下载量大幅增加，Sensor Tower 的数据显示去年 App Store 的下载量增长 3% 达到 354 亿次，今年上半年下载量增长 2% 达到 176 亿次。由于涌入了大量应用，苹果审核人员显然有点跟不上了。应用开发者在苹果开发者论坛上抱怨审核时间过长。分析师认为这一波 AI 辅助编程应用浪潮可能不会为苹果带来多少收入，因为此类应用通常是靠广告获利，不会提供内购。

为何月球正面和背面接收到太阳风不同

Wed, 22 Jul 2026 16:26:06 +0800

中国科学家利用嫦娥六号从月球背面南极收集的月壤样品开展了系统的稀有气体同位素分析。研究发现，月球正面和背面接收到的太阳风存在系统性差异，且地球磁层在其中扮演了“调速器”的角色。研究团队瞄准了五种稀有气体——氦、氖、氩、氪、氙。这些气体具有化学惰性，是追溯太阳风注入过程和后期改造的忠实示踪剂。结果显示，嫦娥六号月壤的氖同位素组成呈现出极为独特的特征——其氖20、氖22比值平均为11.34±0.22，远低于所有已知的月球正面样品，极为接近理论上的强烈分馏太阳风端元（~11.2）。这表明月球背面经历了更为极端的分馏过程，使其富集重同位素，仅用传统的溅射、扩散或侵蚀模型已无法完全解释，暗示背面可能存在更为复杂的同位素分馏机制或一个未被发现的低氖同位素端元。为什么同一颗月球的两面会接收到不同能量的太阳风？研究团队论证认为，是地球磁层在“调速”。当月球围绕地球运行并穿越地球磁鞘时，原本约每秒400公里的“正常”太阳风会被显著减速至约每秒200公里。

美国计算机科学专业入学人数首次下降

Wed, 22 Jul 2026 15:26:18 +0800

根据斯坦福经济学家 Jacob Light 的研究，2025-2026 学年美国计算机科学专业入学人数近二十年来首次下降，但这种下滑是否是一种长期趋势还有待观察。数据显示，过去十年美国计算机和信息科学专业的学士学位授予数量增长了一倍多，从 2014 年的约 5.6 万增至 2024 年的约 12.2 万。2025 年秋季入学数据显示，四年制大学计算机与信息科学及支持服务专业的本科生入学人数同比下降 8.1%，从 2024 年的约 659,700人降至 2025 年的 606,100 人，但仍然高于 2022 年的 574,333人，表明人数下降是在经历了多年快速增长之后出现的。Light 认为人数下滑的原因可能有多种，基于大模型的辅助编程工具的流行，IT 就业市场疲软等等。

欧盟法院裁决 VPN 是合法工具

Wed, 22 Jul 2026 14:52:30 +0800

安妮·弗兰克去世前在荷兰躲避纳粹期间写的日记于 1947 年在荷兰出版，她的日记在欧洲大部分国家都已经进入了公有领域，但在荷兰她的部分日记的版权保护期要到 2037 年才结束。为了尊重这一版权保护的地区差异，托管安妮日记的出版商屏蔽了荷兰 IP 访问网站。然而拥有安妮日记荷兰版权的安妮·弗兰克基金会提起了诉讼，声称 VPN 可以绕过地理位置限制，因此受版权保护的安妮日记被传播给了荷兰居民。欧盟法院驳回了这一论点，裁决 VPN 是合法技术工具，读者通过 VPN 绕过地理位置限制，出版商不应因此承担侵权责任。

GNOME 项目禁止 AI 生成的安全报告

Wed, 22 Jul 2026 14:18:32 +0800

由于 AI 生成安全报告大量涌入，GNOME 项目宣布改变安全报告处理方式。首先是 GNOME 项目将安全漏洞披露时间从行业标准的 90 天缩短至 30 天，原因是大部分 GNOME 安全问题会在一到三周内修复，或者干脆不修。其二禁止 AI 生成的安全报告，由于今天的大部分安全报告包含了 AI 生成的内容，这些安全报告将会直接关闭。