扎克伯格承认：Meta AI智能体研发不及预期
Meta CEO扎克伯格在内部全员会上承认，过去至少四个月AI智能体技术研发进展未达预期，公司大规模裁员和调岗至AI团队的组织调整“尚未落地见效”。同一周，Meta被曝正计划向外部客户出售AI算力和模型使用权，试图盘活数据中心闲置资源。
标签： 算力
宇树高管谈具身智能 ChatGPT 时刻
宇树科技联合创始人陈立在2026亚布力论坛上明确提出，具身智能（机器人）迎来“ChatGPT时刻”的标志是机器人能在80%陌生场景中完成80%任务，并预测2030年将掀起消费浪潮。
宇树科技陈立：2030 年具身智能机器人将引领全新消费浪潮
宇树科技联合创始人陈立提出，到2030年，具身智能机器人将像手机一样成为消费级产品，并预测未来2-5年行业将在统一大模型、低成本硬件和分布式算力上实现三大突破，推动社会生产力升级。
Kagi 变更日志（7 月 2 日）：正面、反面和 AI 切换
Kagi Search 新增了一个全局开关，允许用户完全关闭搜索中的 AI 功能，同时在 Orion 浏览器中带来容器与个性化外观的重大更新，而旗下免费 AI 翻译服务因成本激增暂时下线，将转为订阅制。
Show HN: Mlx-serve——专为 Apple Silicon 设计的 LLM 推理服务器，采用 Zig 语言编写
一个名为 mlx-serve 的开源项目发布了一款专为 Apple Silicon Mac 设计的 LLM 推理服务器，采用 Zig 语言编写，宣称在本地运行大模型时在速度、模型兼容性和功能集成上全面超越 LM Studio，尤其支持无需云端 API 的本地聊天、编码、图像与视频生成。
人工智能优先：联邦政府如何将人工智能置于人类和地球之上
一份由多家机构联合发布的报告指出，美国联邦政府正通过“AI优先”国家战略，在政策、税收和监管上全面倾斜，帮助科技巨头加速建设数据中心和AI基础设施，而这一过程正在加剧社会不平等与生态破坏。报告特别披露，仅微软、Meta和Alphabet三家公司，2025年就通过税收漏洞规避了约500亿美元的联邦税款。
AMD MI355X 上的 GLM5.2 为 2626 tok/s/节点，成本比 Blackwell 低 2 倍以上
Wafer 在 AMD MI355X 加速卡上成功部署了智谱 GLM5.2 大模型，单节点聚合吞吐量达到 2626 tok/s，在特定工作负载下性能达到 NVIDIA B200 的 80%，但成本仅为后者的一半以下。这意味着 AMD 在推理市场正快速追赶 NVIDIA，并为开发者提供了一个成本更低的高性能替代…
看看中国的量化基金狂热，随着人工智能的快速采用，管理的资产在不到一年的时间里增加了一倍多，达到约 $384B (彭博社)
据彭博社报道，中国量化基金行业在不到一年内，管理的资产规模翻了一倍多，达到约 3840 亿美元。背后主要推手是人工智能技术的快速采用，AI 正在重塑金融交易和投资策略的底层逻辑。
Leanstral 1.5：人人可用的证明丰富性
Mistral AI 发布了 Leanstral 1.5，一个完全开源（Apache-2.0 许可）、参数量仅 6B 的正式验证模型。它在多个数学推理基准上达到或刷新了最佳成绩，实测中发现了 57 个开源仓库中的 5 个先前未知 Bug，使得严格的形式化证明在真实软件开发中变得实用且廉价。
阿姆斯特丹发明了消防队
历史学家 David Garrioch 在 Works in Progress 上发表文章指出，17 世纪的阿姆斯特丹并非靠运气避免了大火，而是通过系统性创新——装备水泵引擎、建立专业化消防队伍——率先构建了现代城市消防体系的雏形。这段历史提供了一则关于“如何通过组织创新和公共基础设施投资来解决复杂系统风险”…