Solidot

2025 年 2 月，Hannah Cairo 在预印本平台 arxiv 上发表了一篇论文，解决了有 40 年历史的 Mizohata-Takeuchi 猜想，她年仅 17 岁，主要依靠自学，一时间震惊了数学界。Cairo 证明该猜想是错误的。她在巴哈马的 Nassau 长大，父亲是程序员，在这里获得了一份工作，因此一家人搬来这里。她还有一位大三岁的哥哥和小八岁的弟弟。在巴拿马他们都是在家中学习。Cairo 通过 Khan Academy 的在线课程学习数学，到她 11 岁时已经读完了微积分课程。父母为她找了几位数学教授远程辅导，她大部分时间仍然是自学，以至于其中一位教授、Clark 大学的 Amir Aazami 认为收钱有愧。到 14 岁时她已经读完了本科高年级数学课程。2021 年由于新冠疫情，一家人困住在芝加哥的祖父母家。这对她反而是好事，她开始扩大数学圈，接触越来越多的同行。2023 年，她申请了多数大学，但由于没有读完高中很多大学都拒绝了。她跟着哥哥去了加州伯克利，选修高等数学课程，其中一门是关于傅里叶限制理论（Fourier restriction theory）的研究生课程，授课老师是张瑞祥。几周后张瑞祥布置了一道 Mizohata-Takeuchi 猜想的简化版本作为作业，此举主要是鼓励学生探索数学领域的高级技巧。她完成了习题，在张的鼓励下进一步探索。她构造了一个函数否定了 Mizohata-Takeuchi 猜想。在完成证明之后，她决定跳过大学阶段，直接读数学博士。由于没有读完大学，她申请的多所大学也拒绝了，只有马里兰大学和约翰霍普金斯大学愿意录取，她选择了马里兰大学，将从秋天开始入学，当她完成学业，这将是她的第一个学位。

美国政客的年龄比世界其他国家的政客都要老。根据发表在《Journal of Public Economics》期刊上的一项研究，斯坦福大学和加州伯克利的研究人员认为，这一现象背后的一大原因与为政客竞选资金捐款的人的年龄相关。通过关联美国竞选捐款和登记选民，研究人员发现捐款选民的中位数年龄是 66 岁。年长捐款者的意识形态比年轻捐款者保守得多，他们也更可能捐款给年龄相近的候选人，且捐款金额更大。

《JAMA Otolaryngology–Head & Neck Surgery》期刊报道了一起不同寻常的病例：一名 20 岁的中国籍男子脖子上的十字架纹身在五个月后神秘消失，之后皮肤出现严重的坏死性溃疡和炎症。这起病例是如此奇特以至于医生认为它扩大了纹身相关病理学的范围。医生报告，他们没有发现任何感染的迹象，纹身用的红色颜料已从皮肤上消失，只在溃疡未覆盖的地方留下疤痕。当人体排斥纹身时，异常的免疫反应通常留在皮肤组织的上层，几乎不会导致组织坏死。但该男子的病变很深，明显是侵袭性、结痂、出血性坏死性溃疡。医生还发现颈部病变两侧肿胀，MRI 显示形成了较大的肿块。CT 扫描显示颈部两侧的颈内静脉形成了血栓。医生通过手术切除了溃疡和肿块，封闭了凝结的静脉。医生提出了几种可能的原因：纹身产生了异常的免疫反应；源自纹身的慢性炎症导致静脉壁侵蚀，也导致细胞死亡。

Stack Overflow 对 4.9 万名程序员的调查发现，2025 年八成开发者在工作流程中使用 AI 辅助编程工具，但开发者对其准确性的信任度从前几年的 40% 降至今年的 29%。45% 的受访者认为，AI 辅助编程工具最让他们不满的地方是“解决方案几乎正确但并不完全正确”，相比输出明显错误的答案，几乎正确但不完全正确的答案可能会在程序中引入隐藏的 bug 或者其它难以识别需要时间解决的问题。逾三分之一的开发者表示他们如今访问 Stack Overflow 部分是为了寻找 AI 相关的问题。大模型的问题不可能完全解决，因为这是其工作原理决定的。开发者仍然使用大模型的原因包括经理要求他们使用，以及 AI 工具仍然有用但不能被误用。

世界气象组织（WMO）确认了最长闪电新世界纪录 — 闪电距离长达 829 公里。这个特大闪电发生在 2017 年 10 月，它从美国德克萨斯州东部延伸到堪萨斯城附近 — 相当于欧洲巴黎和威尼斯之间的距离。开车大约需要 8 到 9 个小时，商用飞机至少需要飞行 90 分钟才能覆盖这段距离。新记录误差幅度为±8 公里。它比之前的记录（2020 年 4 月 29 日横跨美国南部部分地区的 768±8 公里（477.2±5英里）长了 61 公里。

澳大利亚第一枚国产民用火箭 Eris 升空 14 秒后坠毁，但制造商 Gilmour Space Technologies 表示发射任务取得成功，所有引擎都点火而火箭也脱离了发射台。CEO Adam Gilmou 表示对结果满意，他此前表示第一次发射就能入轨是几乎闻所未闻的。Eris 火箭是面向小型卫星发射市场，它高 23 米，周三在昆士兰小镇 Bowen 附近的一个发射场发射升空，火箭的起飞高度超过了发射塔，在空中悬停之后坠落起火爆炸，飞行时间 14 秒。澳大利亚政府向该项目资助了 500 万澳元。

Google 宣布将利用 AI 技术估算美国用户年龄是否年满 18 岁。年龄估算将在未来几周内推出，一开始将只会影响少数用户，之后它计划进一步扩大范围。Google 称，它将使用用户搜索过的信息或观看过的 YouTube 视频类型去判断用户的年龄。如果 Google 认为用户年龄未满 18 岁，它将对其采取对未成年人用户实施的相同限制。

苹果公布了2021 年以来最强劲的季度营收增长，iPhone 销量增长 13%，总营收增长 10%。CEO 库克(Tim Cook)表示，约 1% 的营收增长可归因于消费者为应对潜在关税而购买更多产品。苹果最重要的产品仍然是 iPhone，销售额同比增长 13% 至 445.8 亿美元。苹果在中国市场的销售额同比增长 4% 达到 153.7 亿美元。库克表示一大原因是中国的国补政策，对该公司产品非常有帮助。

EA 雄心勃勃的希望《战地6》能吸引千万玩家，能长线运营，游戏将提供免费大逃杀模式，以及被称为 Battlefield Portal 的门户关卡编辑器，允许玩家创建自定义地图和玩法，该编辑器使用了开源游戏引擎 Godot。用户使用 Godot 创建的数据会通过翻译层翻译到《战地6》使用的私有引擎 Frostbite 4。此前 Blender 基金会曾使用 Godot 引擎和 Blender 3D 软件开发了一款小游戏，暂时不清楚 EA 或 DICE 是否会向 Godot 项目捐款。

为阻止蚊子传播登革热病毒，巴西将释放数百万只实验室培育的蚊子，这些蚊子携带了沃尔巴克氏体细菌（Wolbachia bacteria），通过传播沃尔巴克氏体细菌阻止蚊子携带登革热病毒。该项目旨在未来十年内保护 40 个城市的 1.4 亿居民。巴西此前已在尼特罗伊（Niteroi）市测试了释放携带沃尔巴克氏体细菌的蚊子，效果显著，登革热病例下降了约 90%。现在该市几乎所有蚊子都携带沃尔巴克氏体细菌，Chikungunya(基孔肯雅热)病例和寨卡（Zika）病例也分别下降超过 96% 和 99%。沃尔巴克氏细菌天然存在于约半数的昆虫物种中，它让登革热病毒无法在蚊子体内复制，从而有效遏制登革热病毒传播。

英伟达宣布，自 2025 年 10 月起新 Game Ready 驱动更新将不再支持 Maxwell、Pascal 或 Volta GPU 架构。这意味着 GeForce GTX 1060 之类的旧显卡将不再获得针对新游戏进行优化的驱动版本。英伟达还表示将于 2026 年 10 月停止所有 Windows 10 驱动支持，比微软官方的 Windows 10 终止支持时间晚一年。此后如果 Windows 10 用户希望继续获得较新型号显卡的新驱动，他们需要升级到 Windows 11。英伟达表示会在 2028 年 10 月之前为 Maxwell、Pascal 和 Volta 系列显卡发布季度安全更新。

睡眠呼吸暂停是一种在睡眠期间，暂停呼吸或呼吸减弱症状导致的睡眠紊乱。每一次的暂停期间可从数秒钟到数分钟不等，而且整晚发生好几次。在一般情况下，这个症状会产生吵杂的打鼾声。几十年来，睡眠呼吸暂停的主要治疗方法是持续正压气道通气治疗（CPAP Therapy），患者睡前需戴上面罩，面罩连接到 CPAP 机器，它通过压入空气保持呼吸道畅通。CPAP 虽然有效，但对很多人而言非常不方便。现在专注治疗睡眠呼吸暂停的制药公司 Apnimed 发布的新闻稿，宣布一种口服药物即将面世，它公布了第二轮三期临床试验的积极结果，这种口服药物可在睡前服用，帮助保持呼吸道畅通。如果最终获得批准，这种药物可能会改变许多人的生活。

西南财经大学的研究人员在《Regional Science and Urban Economics》期刊上发表论文，分析了中国第一条高铁的环境影响。中国第一条主要高铁——京沪高铁——于 2011 年 6 月 30 日开通，高铁连接了两大最具有经济活力的地区-环渤海都市圈和长三角，两大地区的人口总数占到了全国总人口的四分之一。研究人员利用 NASA 高分辨卫星数据（中国在 2013 年前缺乏可靠的地面空气污染监测数据）发现，高铁开通半年内沿路各县的颗粒物浓度下降了 6.2%，这一影响随后两年持续加强，表明随着城际出行者逐渐转变出行方式，环境效益不断增强。汽车尾气是城市空气污染的主要来源，占到了北京和上海两大超级城市 PM2.5 排放的 45–52%，其中很大一部分是区域间交通。研究人员估计，高铁开通每年产生的外部健康效益价值约 210 亿元人民币，相当于建设成本的很大一部分。

根据发表在《PLOS One》期刊上的一项研究，人类每天在室内环境吸入逾 7 万个微塑料。塑料是当代最严重的环境问题之一，其中纳米大小的颗粒能吸入肺部。法国图卢兹大学的科学家量化了每天可能吸入的塑料粉尘量。研究小组从自家公寓和汽车中采集了 16 个室内空气样本，使用拉曼光谱学(Raman Spectroscopy)测量微塑料浓度。结果显示我们每天的塑料颗粒吸入量非常大。公寓空气样本的中值浓度为每立方米 528 个微塑料颗粒，汽车内微塑料颗粒浓度则高达每立方米 2238 个。这些颗粒 94% 直径小于 10 微米，足以吸入后深入肺组织。研究团队估计，成年人每天从室内环境中吸入大约 7.1 万个微塑料颗粒，其中 6.8 万个小于 10 微米。人类平均 90% 的时间处于室内，包括家、工作场所、商店、交通工具等，会在不自觉中吸入微塑料污染物。

一项长达 14 年的跟踪研究发现，人工甜味剂饮料相比含糖饮料显著增加了罹患 2 型糖尿病风险。饮料用人工甜味剂降低含糖量但保持甜味，此举被认为产生更健康的饮料，但越来越多的研究显示人工甜味剂可能存在代谢风险。为评估含糖饮料和人工甜味饮料如何影响健康，研究人员追踪了 36,608 名参与者，平均随访时间为 13.9 年。研究发现，相比完全不饮用含糖饮料的人，饮用一罐人工甜味饮料会使得罹患 2 型糖尿病的风险增加 38%。饮用相同量含糖饮料的人的风险增加 23%。此前的研究发现，人工甜味剂阿斯巴甜（aspartame）会引发类似于蔗糖的餐后胰岛素反应，其它人工甜味剂糖精（saccharin）和三氯蔗糖（sucralose）则与肠道菌群紊乱和糖耐量受损有关。

Google 被指控在十几年里向苹果和三星等公司支付了数十亿美元，成为智能手机和浏览器的默认搜索引擎。默认位置让 Google 成为全球使用率第一的搜索引擎，获取每年逾 3000 亿美元的广告收入。根据《American Economic Journal:Microeconomics》期刊上的一项研究，部分国家的政策禁止 Google 付费成为默认搜索引擎，这种干预措施有效降低了 Google 在当地的市场份额，其中俄罗斯和土耳其的结果尤为明显。

网信办官网发表声明：英伟达算力芯片被曝出存在严重安全问题。此前，美议员呼吁要求美出口的先进芯片必须配备“追踪定位”功能。美人工智能领域专家透露，英伟达算力芯片“追踪定位”“远程关闭”技术已成熟。为维护中国用户网络安全、数据安全，依据《网络安全法》《数据安全法》《个人信息保护法》有关规定，国家互联网信息办公室于 2025 年 7 月 31 日约谈了英伟达公司，要求英伟达公司就对华销售的 H20 算力芯片漏洞后门安全风险问题进行说明并提交相关证明材料。

AI 也许是软件开发的未来，但人类尚未做好把手从方向盘上移开的准备。Veracode 发布了 AI 生成代码的安全性报告《2025 GenAI Code Security Report》，逾百个大模型完成了 80 项编程任务，但 AI 生成的代码有约 45% 存在安全漏洞。这些安全漏洞很多都属于 OWASP（Open Worldwide Application Security Project）Top 10 漏洞。报告发现，当 AI 给予选项写安全或不安全代码时，几乎一半的时间它选择了错误的路径。

维沃移动通信有限公司(Vivo)宣布了用 Rust 开发的蓝河操作系统 BlueOS。Rust 开发的蓝河内核支持 POSIX 接口和 Rust std（标准库），支持 ARM32、ARM64、RISCV32、RISCV64 芯片架构。Vivo 称 BlueOS 是首个从内核到系统框架全栈由 Rust 语言编写的操作系统，Rust 语言的一系列安全特性，在编译阶段就可以发现内存使用不当导致的安全漏洞，从源头实现天生更安全。

澳大利亚周三表示，针对 16 岁以下儿童的社交媒体禁令覆盖的网站将包含 YouTube，不再豁免 Google 旗下的视频共享平台。这一决定是在监管机构的调查发现 37% 的未成年人报告了 YouTube 的有害内容，在所有社媒平台之间比例最高。儿童社媒禁令将于今年 12 月生效。YouTube 表示，澳大利亚 13 至 15 岁的儿童有近四分之三使用该平台，它不应该被归类为社媒平台，因为它主要托管视频，是一个视频共享平台，有大量高质量的内容库，用户越来越多的通过电视观看内容，它不是社交媒体。禁令覆盖的社媒平台 Meta Platforms、TikTok 和 Snap 则都表示 YouTube 和它们一样都使用算法根据用户活动推荐内容。