AI 猜对了阿根廷，却还是没猜透佛得角
2026年世界杯淘汰赛，阿根廷3:2击败佛得角晋级。赛前12家AI大模型和6位人类嘉宾均准确预测了阿根廷胜出，但在比分预测上集体失真——没有任何模型或嘉宾预料到佛得角能攻入两球。这事说明：AI在“结果预测”上愈发精准，但对比赛过程、球风韧性和“黑马”表现，依然缺乏深层建模能力。
AI 工具排错、提示词与实用教程
先解决问题，再了解资讯。选择你现在要完成的任务。
9点1氪｜阿里内部全面禁用Claude Code；FF洛杉矶总部人去楼空？公司回应：不实；微软砸25亿美元组建6000人AI新公司
阿里因后门风险全面封杀Claude Code，转向自研替代品；微软斥资25亿美元成立6000人新公司加速企业AI落地；FF澄清总部搬迁传闻。三件事分别指向AI安全管控、企业级AI服务规模化和科技公司PR危机。
Kagi 变更日志（7 月 2 日）：正面、反面和 AI 切换
Kagi Search 新增了一个全局开关，允许用户完全关闭搜索中的 AI 功能，同时在 Orion 浏览器中带来容器与个性化外观的重大更新，而旗下免费 AI 翻译服务因成本激增暂时下线，将转为订阅制。
宠物项目变得太大而无法宠物
一位开发者撰文指出，随着大模型与Agentic编码工具的普及，程序员用于学习与娱乐的“宠物项目”正变得不再轻松：项目野心更大、成本更高、竞争更卷，原本无压力的爱好正在演变成一种有“营收潜力的责任”与“持续付费的消耗”。
SearXNG：一款免费的互联网元搜索引擎
SearXNG 是一个开源元搜索引擎，聚合 Google、Bing、DuckDuckGo 等服务的搜索结果，且不追踪用户、不建立用户画像。该项目在 GitHub 上已获 33,200 颗星，近期因隐私保护需求升温而再次受到关注。
针对欧洲议会的间谍活动
欧洲议会负责调查间谍软件滥用的委员会成员、希腊籍议员 Stelios Kouloglou，其 iPhone 两次被 NSO 公司的 Pegasus 间谍软件成功感染。感染时间点正好与委员会关键活动期重合，意味着内部机密信息可能已遭窃取，而攻击者指向一个有权在多个欧洲国家进行监控的 Pegasus 客户，而非希…
应用范畴理论课程（2018）
数学家 John Baez 基于 Fong 和 Spivak 的教材《组合性中的七幅草图：应用范畴理论引论》，于 2018 年开设并整理了完整的应用范畴理论在线课程（共 77 讲），该资源近日在 Hacker News 上重新引发关注。
[AI Agent 智能体] 关于 Claude code 子代理的小测试，引发对自己使用习惯上的思考
![[AI Agent 智能体] 关于 Claude code 子代理的小测试，引发对自己使用习惯上的思考](https://www.chat-gpts.plus/wp-content/uploads/2026/07/ai_cover_3-151-768x403.jpg)
一位开发者在使用 Claude Code 时，意外发现主代理（Opus 4.8）在安排子代理（Sonnet 5）进行代码审查时，自己提出的对抗性审查方案反而暴露了自身判断的漏洞。这个实验点出了一个关键问题：当 AI Coding Agent 的“裁判”（Judge）只有一层时，一旦裁判出错，人类就得亲自下场逐…
非洲人正在转向星链
《经济学人》报道指出，非洲大陆正大规模转向使用 SpaceX 的星链卫星互联网服务，以解决传统地面网络覆盖不足、价格高昂的问题。这一现象不仅改变了当地的互联网接入格局，也为 AI 服务在非洲的落地提供了新的基础设施基础。
Show HN: Mlx-serve——专为 Apple Silicon 设计的 LLM 推理服务器，采用 Zig 语言编写
一个名为 mlx-serve 的开源项目发布了一款专为 Apple Silicon Mac 设计的 LLM 推理服务器，采用 Zig 语言编写，宣称在本地运行大模型时在速度、模型兼容性和功能集成上全面超越 LM Studio，尤其支持无需云端 API 的本地聊天、编码、图像与视频生成。