Meta「算力过剩」疑云背后：扎克伯格说 AI 进展慢了，AI 负责人新模型说已追上 GPT-5.5
Meta 内部出现严重信息分歧——CEO 扎克伯格承认 AI 智能体进展慢于预期，但 AI 负责人 Alexandr Wang 在同一场会议上宣称下一代模型“Watermelon”基准测试已追平 OpenAI 的 GPT-5.5。同时，Meta 正计划对外出售闲置算力，引发市场对 AI 芯片需求见顶的恐慌，但…
标签： Claude
GPU 帝国松动：推理芯片正在重写 AI 算力格局
随着AI进入智能体和推理阶段，通用GPU在成本和延迟上的短板愈发明显，专用推理芯片正从多个技术路径崛起，推动算力市场从“单芯片通用”走向“多芯片分工”的异构时代。英伟达虽未失位，但格局已变。
Claude Mythos 预览版发布后新的严重漏洞激增
近日，在 Anthropic 发布 Claude Mythos 预览版后，Hacker News 用户发现与之相关的严重安全漏洞报告数量显著上升，其中一条评论预测，一旦负责任的披露期结束，还会有更多漏洞被公开。这一事件引发了对AI大模型在快速迭代过程中安全风险管控能力的关注。
Kagi 变更日志（7 月 2 日）：正面、反面和 AI 切换
付费搜索引擎 Kagi 因免费 AI 翻译服务成本飙升，宣布暂时移除该功能并计划将其转为订阅制，引发付费用户对服务权益的争议。
开源人工智能差距图
非营利组织 Current AI 发布了首个“开源 AI 差距图”（Gap Map），系统梳理了全球 421 个核心开源 AI 项目，试图填补业界对开源 AI 生态“家底”缺乏统一认知的空白。这不仅是一张地图，更是一份可公开复用的数据库。
今年您需要的唯一人工智能术语表
TechCrunch 发布了一篇经编辑整理的 AI 术语解释列表，从 AGI 到编程智能体，帮助从业者、投资者和普通读者理清当前 AI 领域最常见的词汇。这不是一次简单的名词罗列，而是对行业快速迭代下语言混乱问题的一次系统回应。
Mistral AI 发布 Leanstral 1.5：Apache-2.0 Lean 4 代码代理模型，解决 672 个 PutnamBench 问题中的 587 个
Mistral AI 于 2026 年 7 月 3 日发布了 Leanstral 1.5，这是一个采用 Apache-2.0 协议开源的 Lean 4 代码代理模型，在极具挑战性的 PutnamBench 数学竞赛题目中取得了 87.4% 的解题率，显著提升了 AI 在形式化数学推理与程序验证领域的能力上限。
@im_comatose 这是对人工智能和区块链集成的全新看法，是的，我很感兴趣
X 平台用户 @0xlyrex 在回复 @im_comatose 时，表达了对人工智能与区块链集成新思路的兴趣，该评论获得一定关注，反映出行业对两类技术协同应用的关注度正在上升。
虽然头条新闻聚焦于人工智能，但支付处理生态系统也正在发生重大变化。在我关于 $V 的文章中，我介绍了其当前的财务状况、未来的增长催化剂以及值得注意的风险。您可以…
分析师 Grant Gamble 在 TipRanks 上发布了对 Visa（股票代码 $V）的最新分析，指出在 AI 热潮之外，支付处理行业本身也在经历深刻变革。文章评估了 Visa 的财务现状、增长催化剂和潜在风险，为投资者和从业者提供了不同于 AI 叙事的另一条观察主线。
不是因为你资质不够。不是因为你的评论较弱。您的数字足迹不会发出语言模型需要向您展示的信号。这就是人工智能可见性差距™。
AI 搜索策略研究者 @AISearchStrateg 提出了“AI可见性差距”（AI Visibility Gap™）这一概念，指出在大模型时代，一个人能否被AI系统“看到”并推荐，不再完全取决于其资质或作品质量，而更多取决于其数字足迹是否与语言模型的训练和推理信号相匹配。