测试显示 AI 的数学解题能力仍然不如人类专家

2026-06-15 17:50 by 白鸟异传

AI 模型的解题水平仍不及顶尖数学家。这项测试隶属 First Proof 项目，旨在评估 AI 解决复杂数学难题的能力。研究人员向 4 款 AI 系统提出 10 道科研级数学难题，再由相关数学领域的匿名专家评审团对作答结果进行打分。这次测试首次同时满足三大核心标准：题目均为前沿科研级数学问题、所有题目从未出现在模型训练数据中、由专业数学家评阅。10 名来自不同数学细分领域的研究人员，各自拿出一道本人研究过程中已解答但尚未公开发表的原创题目。这次测试中，各大推理模型依然频繁出现幻觉问题，这也是大语言模型的通病。而且所有 AI 作答在文献引用方面都“严重缺失”，全程没有标注来源。

https://www.nature.com/articles/d41586-026-01888-9
https://news.sciencenet.cn/sbhtmlnews/2026/6/390058.shtm

#人工智能

英国将禁止 16 岁以下青少年访问社交媒体

2026-06-15 18:18 by 探寻者

英国首相 Keir Starmer 宣布，英国将禁止 16 岁以下青少年访问社交媒体。英国的社媒禁令范围以及强度都高于澳大利亚的类似禁令。社媒禁令涵盖所有社交媒体，对包含聊天功能的游戏等网络产品也有单独限制，如禁止青少年与陌生人聊天。Starmer 说政府总要做出选择，他认为全面禁令是正确的选择。

https://www.theguardian.com/media/2026/jun/15/social-media-ban-uk-under-16-starmer

#互联网

数百万学生就读学校位于有毒污染场地 5 公里内

2026-06-15 21:04 by 乌鸦从高塔坠落

根据智库 Centre for Global Development 的地理分析，数百万儿童就读的学校附近存在已知的铅、汞、砷和杀虫剂等有毒污染。研究发现，亚洲、非洲和拉丁美洲 17 个国家的逾 25.2 万所学校位于有毒污染场地 5 公里范围内。这些学校有 4300 多万名儿童，其中 520 万名儿童位于 1 公里范围内。发达国家受污染影响的负担不成比例的落在贫困学生和非白人学生身上，但在发展中国家污染集中在富裕人群居住的城市，城市学校的规模通常更大，因此学生也更多——以菲律宾为例，9% 的学校靠近污染场地，而这些学校的学生总数占到全国学生总数的 27%。分析还显示，私立学校比公立学校更有可能位于污染场地附近。加纳 41% 的私立学校靠近污染场地，而公立学校的这一比例仅为 18%。

https://www.cgdev.org/blog/millions-children-go-school-near-toxic-site

#教育

Arch Linux 遭遇新一轮 AUR 恶意程序攻击

2026-06-15 23:04 by 羚羊与秧鸡

Arch Linux 项目的用户软件仓库 Arch User Repository(AUR)上周遭遇了大规模恶意攻击，在处理了逾 1500 个软件包之后开发者认为问题已经得到了控制。然而仅仅过了一天，AUR 遭遇了新一轮的恶意攻击，这一次攻击者使用了代码混淆技术掩盖其意图。AUR 是用户贡献的软件包库，并非官方软件库，Arch Linux 项目可能需要暂时下线 AUR 以免遭遇一轮又一轮的恶意攻击。

https://www.phoronix.com/news/Arch-Linux-AUR-More-Malware

#Linux

俄罗斯计划退役漏气的国际空间站 PrK 模块

2026-06-15 23:35 by 全面启动

位于 Progress（进步号）气闸舱和 Zvezda（星辰号）服务舱之间的 PrK 模块因结构裂缝导致的漏气过去几年一直困扰着国际空间站，今年初漏气问题一度被认为已经修复，但本月早些时候报告漏气再次加剧，该模块的裂缝总数达到 16 处。10 天前俄罗斯宇航员试图用锯子拆除该模块的一个承重支架，此举招致了 NASA 的强烈反对，认为可能会产生严重后果，下令宇航员进入与空间站对接的 Crew Dragon 飞船，穿上宇航服，准备必要时紧急撤离。俄罗斯航天局最终放弃了拆支架的计划。双方在幕后反复的拉锯之后，最终俄罗斯通知 NASA 将退役 PrK 模块。这意味着宇航员将不再进入 PrK 模块，或再次尝试对其进行加压。而俄罗斯将需要使用其它端口向空间站转移补给。

https://arstechnica.com/space/2026/06/russia-appears-set-to-finally-address-long-term-serious-space-station-cracks/

#国际空间站

瑞士选民否决了将人口设限千万的提案

2026-06-15 23:51 by 少数派报告

瑞士于 6 月 14 日举行全民公投，决定是否在 2050 年前将全国常住人口限制在一千万以内。瑞士的人口出生率为每名妇女生育 1.29 个孩子，远低于 2.1 的人口替代率，它的人口增长主要归因于外来移民。目前瑞士人口已超过 900 万，官方数据显示，2024 年外国公民占到了瑞士总人口的 27% 以上。右翼的瑞士人民党（Swiss People's Party）支持的提案要求“2050 年前瑞士常住人口不得超过 1000 万，且瑞士应放弃与欧盟的自由流动协议”。瑞士选民最终否决了这一被称为“瑞士脱欧”的提案，有 54.79% 的选民反对，45.21% 的选民支持，投票率为 58.86%。

 
https://www.theguardian.com/world/2026/jun/14/switzerland-referendum-population-cap-svp

#新闻

微软求助于 AWS 以满足 GitHub 上 AI 驱动的负载增长需求

2026-06-16 13:35 by 遥远地球之歌

微软旗下的代码托管平台 GitHub 最近一段时间宕机事件频发，它正将服务迁移到微软的云计算平台 Azure，但仍然无法满足不断增长的需求，因此它正求助于最大的竞争对手亚马逊 AWS，以确保平台能正常运行。亚马逊表示不会对个别客户发表评论。对微软而言，GitHub 宕机的风险已经超过了向 AWS 付费所带来的负面影响。GitHub 首席运营官 Kyle Daigle 此前表示，该平台用户的提交(Commits)数将从 2025 年的 10 亿飙升到 2026 年 140 亿次。GitHub 在 2025 年 10 月计划将平台容量提高 10 倍，但到了 2026 年 2 月它发现需要提高 30 倍，原因是 AI 编程导致平台工作负荷大幅提升。

https://runtimewire.com/article/microsoft-github-aws-ai-capacity-crunch

#云计算

女性头部摄药量与经期相关

2026-06-16 14:11 by 第七元素

小鼠和人类实验显示，头部通过经鼻给物法摄入的药量存在性别差异，其中雌性摄药量与经期密切相关。研究人员通过小鼠实验发现，在动情前期与动情期，即雌激素奔涌至最高的阶段，雌性头部区域摄取的药物显著多于雄性；随着周期进入动情后期，雌激素跌向其最低值，两性之间基本不存在差异。研究人员在人类身上观察到了相似的现象：女性趋于更高的峰浓度，女性最高峰值逾男性最高峰值的两倍。男性则保留药物更久。

https://www.eurekalert.org/news-releases/1131617?language=chinese

#科学

Firefox 152 释出

2026-06-16 14:47 by 羚羊与秧鸡

Mozilla 释出了 Firefox 152。主要变化包括：默认编译了 JPEG-XL 支持代码，但默认仍然没有启用，用户需要去 Firefox Labs 调整设置启用，JPEG-XL 是新的免专利图像格式，相关编解码器使用了 Rust 语言开发；重新设计了设置界面、在 Windows 不同硬件配置下支持 HDR 视频、支持 CSS 的 field-sizing 属性，以及一系列面向开发者的新功能，等等。

https://www.phoronix.com/news/Firefox-152-Download

#Firefox

开源模型能否战胜 OpenAI？

2026-06-16 17:47 by 造星主

中美两国的 AI 公司采取了不同的发布策略：中国侧重于开源权重模型，美国公司如 OpenAI 和 Anthropic 则采用闭源策略。Hugging Face 前亚太生态系统高管 Tiezhen Wang 表示，OpenAI 和 Anthropic 指责中国 AI 公司蒸馏其模型，他认为蒸馏是中性的，美国 AI 公司是通过抓取互联网上的信息训练模型，它们并非知识的创造者，却试图阻止其他人重复利用知识，有点讽刺。所有 AI 生成的内容都应该没有版权，否则拥有算力的人能滥用权力，生成各种组合内容然后对所有内容都申请版权。他发现中国公司和美国公司在最大化使用 token 上有明显差异，因为中国有很多开源权重模型，其使用成本没有美国大，因此中国互联网公司都鼓励员工最大化使用 token，鼓励员工成为 AI 原生开发者，甚至禁止他们手动完成撰写文档之类的日常工作。

https://restofworld.org/2026/tiezhen-wang-china-us-open-source-ai

#开源

禁止使用科技产品提升了学生的阅读能力

2026-06-16 19:06 by 遗忘之海

在数字化时代，一名教师的低科技实验显示学生的阅读能力有了显著提升。明尼阿波利斯 Washburn 高中的 AP 文学和英语教师 Maureen Mulvaney 在学生抄袭、注意力不集中以及阅读能力下降等问题之后开始了低科技实验，在家长的支持下，她禁止学生使用手机和笔记本电脑，要求所有作业都必须用纸笔完成。尽管学生一开始有抵触，但效果立竿见影：实验前的 2025 年 9 月只有 46% 的学生对阅读能力有信心，到了今年 2 月该比例飙升至 95%。大多数学生能写至少两页部分学生甚至能写五六页英文文章。79% 的学生表示在纸上写作和组织思路比在屏幕上更容易。

https://www.yahoo.com/news/us/articles/student-reading-ability-spikes-removing-201637922.html

#教育

Commodore 宣布反社交网络的翻盖手机

2026-06-16 21:58 by 记忆

曾经的家用 PC 巨人 Commodore 又回来了，它宣布了一款翻盖手机 Callback 8020，运行基于 Linux 的 Sailfish OS 操作系统，不支持任何社交媒体、浏览器或工作应用如电子邮件，但支持地图、播客、拼车、以及流行的消息应用如 WhatsApp、Signal、Telegram 和微信（WeChat）——因为对很多人而言没有这些应用手机什么也不是。这款手机是 Commodore 公司推出的，当然也有 Commodore 模拟器。选择翻盖手机是因为它是作为一种多用途工具，你打开翻盖就是为了用它。这款手机不便宜，6 月 30 日开放预购，售价 499 美元，主要配置是 4GB 内存，64 GB SSD，索尼 4800 万像素相机，显示屏分辨率 480 x 640，电池可移除，容量为 1550mAh。

https://commodore.net/why-a-flip-phone/
https://commodore.net/callback/

#移动

亚马逊数据中心 2025 年使用了 25 亿加仑的水

2026-06-16 22:17 by 布兰尼肯夫人

根据亚马逊公布的数据，它的数据中心在 2025 年使用了 25 亿加仑的水。电商巨人声称它的用水量远低于主要竞争对手。亚马逊称，其数据中心用水量为每千瓦时 0.12 升（L/kWh），称微软在 2025 年的用水量为每千瓦时 0.27 升，Meta 在 2024 年的用水量为每千瓦时 0.19 升，Google 最糟糕达到每千瓦时 1.15 升。亚马逊表示，其设施约 90% 的时间都采用“自然空气冷却”，即引入室外空气使其流经服务器吸收热量，无需用水——但在最炎热的天气里会使用水蒸发降温。

https://www.theregister.com/on-prem/2026/06/12/amazon-owns-up-to-using-25bn-gallons-of-h2o-in-its-bit-barns-last-year/5254748

#商业

GLP-1 减肥药在降低体重的同时也降低了骨折率

2026-06-16 22:30 by 星火

GLP-1 减肥药如 Ozempic、Wegovy、Rybelsus 能快速降低体重，此前有担忧认为快速的体重下降可能导致骨质疏松，增加骨折风险。然而最新研究发现，相比其它起效较慢的减肥药，GLP-1 减肥药能将骨折风险降低 15%。研究人员承认需要更多研究去证实相关性。研究人员分析了逾 59,000 名患者，其中 26,324 名服用了 GLP-1 减肥药，对照组的 33,555 人服用的是非 GLP-1 减肥药。结果显示，实验组发生 794 例骨折，对照组则发生 1045 例。

https://www.sciencedaily.com/releases/2026/06/260615033837.htm

#医学

垂直绿化给城市降温

2026-06-17 00:21 by 造星主

气候变化和城市化加剧了热岛效应，城市地区的温度显著高于农村地区，而更高的温度又推动了制冷需求和加剧了电网压力，形成某种恶性循环。日本大阪府大学 Jihui Yuan 副教授领导的团队调查了垂直绿化等城市降温策略。他们的研究显示，朝南绿墙可将室内热条件改善最多 1.7°C；低反照率外表面能改善室外热舒适度最多 1.5°C；高反照率外表面则有助于降低室内温度。

https://www.eurekalert.org/news-releases/1131568

#科学

Peter Thiel 的秘密社交网络曝光

2026-06-17 09:56 by 黑暗平原

黑客行动主义者曝光了 Peter Thiel 于 2006 年创办的秘密组织 Dialog 的成员信息和内部记录。Dialog 每年都会组织非公开的活动，邀请美国官员、外国政府官员和硅谷高管参加。2026 年活动定于 8 月 12 日至 16 日在爱尔兰都柏林的 Powerscourt Hotel 举行，注册的与会者共 222 人，并标明了他们是活跃会员还是特邀嘉宾（guest），会议讨论的主题包括“金钱能买到幸福吗？”“恢复核能”“应对第三次世界大战”“性生活”“建立邪教（Build-a-Cult）”“建立一个党（Build-a-Party）”等等。2025 年上任的北约欧洲盟军指挥官 Alexus Grynkewich 将军自 2021 年起就参与了 Dialog 活动。名单中的名人还有 Pantir 联合创始人 Joe Lonsdale、美财长 Scott Bessent、参议员 Ted Cruz、陆军部长 Dan Driscoll、参与监管 Pantir 的众议员 Jim Hime，以及 Google 和 DeepMind 高管、经济学诺奖得主 Roger Myerson 等。Dialog 还扮演了某种媒人的角色，询问与会者是否在寻找爱情，还提供了约会应用，该应用的口号是“为杰出人士建立有意义的联系”。Dialog 在 2014 年的活动邀请了 Jeffrey Epstein，但并不知道他有没有出席。

https://www.wired.com/story/leak-exposes-members-of-peter-thiels-secretive-dialog-society/

#商业

微软考虑使用 DeepSeek 的开源模型降低成本

2026-06-17 10:25 by 星尘

最大化词元使用（tokenmaxxing）对微软的 AI 工具 Copilot 产生了不利影响，软件巨人正在考虑使用 DeepSeek 的开源模型以降低成本。微软考虑使用的是 DeepSeek-V4 自托管版本的修改版，它将作为一种低成本选项用于驱动微软的 Copilot Cowork。Copilot Cowork 目前运行在 Anthropic 和 OpenAI 的模型上，两家公司不断涨价，Copilot 也从无限量使用切换到了基于使用量的定价模式，此举招致了用户的强烈不满。更便宜的型号有助于降低成本让用户满意，但可能会让特朗普政府不满意。

https://gizmodo.com/microsoft-mulls-chinas-deepseek-for-copilot-probably-to-trumps-chagrin-2000772649

#人工智能

ChatGPT 市场份额首次跌破 50%

2026-06-17 12:21 by 气球上的五星期

根据 Sensor Tower 的《State of AI Report for 2026》报告，在 ChatGPT 发布三年半之后，其市场份额首次跌破 50%，而用户正在 Google Gemini、Anthropic Claude 等不同 AI 助手之间切换。ChatGPT 是最快达到 10 亿月活用户的应用，它的月活用户目前超过 11 亿，之后是 Gemini 的 6.62 亿 和 Claude 的 2.45 亿。ChatGPT 在今年 1 月市场份额还超过 50%，但到了 5 月底降至 46.4%，Gemini 占 27.7% 和 Claude 占 10.3%，Grok、Perplexity、DeepSeek 和 Meta AI 都低于 5%。 Sensor Tower 估计，2026 年上半年，AI 应用下载量预计将接近 23 亿次，用户支出将超过 42 亿美元。相比之下 2025 年上半年的 AI 支出为 18.3 亿美元——这表明 AI 行业正将重心从增长转向盈利。但下载量和支出增长率均已放缓，表明即使绝对数量在继续攀升，市场可能正走向成熟。中国和印度的 AI 应用下载量出现了下滑，2026 年第一季度亚洲下载量下降了 3.3%。

https://techcrunch.com/2026/06/16/chatgpts-market-share-slips-below-50-for-first-time/

#人工智能

Mozilla 公布 Firefox 路线图

2026-06-17 14:34 by 特辖军的一天

Mozilla 在宣布 Firefox 152 的同时，公布了将在未来推出的一系列新功能，其中包括：更新 UI 的 Project Nova；自定义快捷键；改进 PDF 编辑功能——支持在浏览器上直接拆分、合并和重组 PDF 文档；Multi-Account Containers 从扩展变成原生功能；移动版本将内置免费 VPN（可能只限于少数国家）；通过语音向浏览器提问获得 AI 生成答案的 Quick Answers；隐私 AI 浏览 Smart Window；省电模式（Power Saving Mode）识别手机上消耗资源最多的标签页，自动降低其资源占用，从而延长电池续航时间，等等。

https://blog.mozilla.org/en/firefox/firefox-roadmap-152/

#Firefox

地下真菌网络长度超过 10 万万亿公里

2026-06-17 15:24 by 火星大师

根据发表在《科学》期刊上的一项研究，地下真菌网络长度达到 11 万万亿公里(或 110 京公里，1 京等于 1 千万亿)，是地日距离的 7.5 亿倍。丛枝菌根真菌（Arbuscular mycorrhizal fungi）是由被称为菌丝的管状细胞构成的网络。它们通过与逾七成的植物建立共生关系维系着地球上的生命。这种网络已存在约 4.75 亿年，它们通过向植物提供养分和水分换取植物产生的碳，它们还通过将碳吸收到土壤中帮助调节气候。Society for the Protection of Underground Networks(Spun)组织的研究团队利用机器学习模型，结合世界各地逾 16000 个土壤样本的数据，绘制出第一张丛枝菌根真菌网络的全球地图。研究人员称，仅仅一茶匙土壤就可能存在长达 10 米的菌根网络。研究还发现，农耕会破坏真菌网络，农田菌根网络密度平均比野生生态系统低 47.3%。草原地区拥有最密集的菌丝系统，但这些地区缺乏保护，正日益退化。

https://www.theguardian.com/science/2026/jun/11/arbuscular-mycorrhizal-fungi-plant-life-climate-global-mapping-study

#科学