每日科技资讯 | 2026-08-11

今日精选 15 篇科技资讯 — 2026-08-11

科技资讯总览

今日科技资讯的核心是 AI 智能体的自主性与端侧化显著加速:Anthropic 的 Claude 在自主科研中推进了黎曼猜想关键下界,Meta 发布可在本地运行的 30B 开源智能体模型 Muse Glimmer,OpenAI 则推出网络安全专用模型 GPT-5.6-Cyber。与此同时,安全领域暴露出多起令人警惕的企业数据泄漏事件,科研侧的水系锌碘电池也传来重要突破。

🤖 AI 与机器学习

Claude 攻克黎曼猜想关键下界,AI 自主科研能力惊艳

Anthropic 于 8 月 11 日宣布,尚未公开的研究版 Claude 在黎曼猜想研究中取得重要进展,将黎曼 ζ 函数临界线上零点比例的下界从 41.6% 大幅提升至 67.2%。在 Clude Code 环境中,Claude 自主完成了一次持续数天的研究测试:生成 3100 万个输出 Token,经历 650 次失败尝试后,调集 60 个子级智能体继续推进,累计执行 2400 条 Shell 命令,并编写数百个 Python 脚本。Anthropic 请内部数学家与外部数论专家审阅结果,并将证明转换为 Lean 可验证形式。

这是 AI 在纯数学领域罕见的自主研究突破——不是辅助人类推导,而是模型自己调度子智能体、迭代试错完成证明。不过要谨慎看待:这一结果尚未经过公开论文和完整同行评议,距离黎曼猜想的最终证明仍有很长的路要走。但”AI 科学家”的工作模式已经真实上演。

🔗 原文链接

Meta 发布 Muse Glimmer:30B 参数开源模型,专为本地智能体打造

Meta 推出 Muse Glimmer——一个 30B 参数的开源多模态模型,专为本地、常驻型(always-on)智能体工作流优化。它在智能体任务基准上相比同量级模型表现强劲,设计目标是完全在消费级硬件(如 Mac 或配备高性能 GPU 的 PC)上运行,权重以 Apache 2.0 协议开放。Hugging Face 第一天即提供支持,已有开发者尝试给 Glimmer 赋予工具并让它给自己做量化。

端侧智能体是当前明显趋势,30B 参数能跑在消费硬件上具有突破意义。Meta 的开源策略同样值得关注:本地运行意味着数据无需上云,对隐私敏感场景尤其有吸引力。Muse Glimmer 与 Claude Code 代表的”云端重智能”路线形成了有趣对照。

🔗 原文链接

Anthropic 将 Claude Code 自动模式设为默认,开启更少人工干预的编程时代

Anthropic 宣布 Claude Code 的 auto mode 即将默认开启,编程过程中的人工监督将进一步减少。该模式允许 AI 编程助手在测试、调试等环节自主决策,面对日常开发任务时人类只需提供高层指令。

这是 AI 编程工具从”辅助工具”走向”自主执行者”的标志性一步。对开发者而言,角色正在从”写代码”转向”审代码”与”定方向”。不过,默认高自动化也引发了对代码质量和安全审查边界的讨论——当 AI 自主操作越来越频繁,人工把关的分寸如何拿捏,值得整个行业重新思考。

🔗 原文链接

得物技术开源实战:从零构建一个 Coding Agent

得物技术团队发文《实战:从零开始构建一个 Coding Agent》,详细拆解了自研的 “Violin” 智能体背后的设计思路与实现过程。作者认为,理解了 coding agent 的构建原理,就相当于拿到了理解其他 agent 的一把钥匙,因此选择从零做一个。

在大家普遍使用现成 AI 编程工具的情况下,这种”造轮子”式深度剖析对技术社区很有价值,尤其有助于理解工具调用、任务规划、上下文管理等核心机制。

🔗 原文链接

Cactus Needle2:14MB 的智能体 LLM,把 AI 塞进微控制器

Cactus 发布 Needle2,一个体积仅 14MB 的智能体大语言模型,可在 28MB 内存中运行完整会话。该模型参数规模为 45M(2bit 压缩),在树莓派 5 上解码速度达 500 token/s,面向手机、可穿戴设备、智能家居、小型机器人和微控制器等场景。

这是”极致端侧 AI”路线的代表性工作。当大模型可以小到在微控制器上运行,智能体能力就能嵌入更多低功耗设备——从传感器到智能家居中枢,端侧 AI 的应用空间被大幅拓宽。

🔗 原文链接

Meta 开源 Muse Glimmer,30B 参数模型可本地运行

Meta 宣布开源 Muse Glimmer——一款 30B 参数的密集模型权重,其设计目标是让开发者在本地环境中流畅运行,无需依赖云端 API。Meta 同时预告将在不久后开放其最新基础模型 Muse Spark 1.2 的权重,进一步加码开源 AI 战略。值得关注的是,Muse Glimmer 不仅仅是静态模型:官方演示显示,它能从单一自然语言指令出发,自主完成发现网络设备、调用 Home Assistant API、编写前端仪表盘并在本地部署验证等端到端多步骤 Agent 任务。这种将语言理解、代码生成与工具调用整合在本地设备上的能力,为隐私敏感场景和离线环境的 AI 应用打开了新的可能空间。开源社区生态将因此获得一个可深度定制的中型基座选择。

原文链接:https://x.com/finkd/status/2086755195535413696

Liquid AI 发布 2.6B 小模型,性能对标 4 倍参数竞品

Liquid AI 在 Hugging Face 上发布了 LFM2.5-2.6B 模型,以仅 2.6B 的参数规模实现了与 4 倍于其体量大模型相当的性能表现。该模型延续了 Liquid AI 在非 Transformer 架构上的探索路线,在推理效率与上下文处理能力上展现出显著优势。对于边缘计算和端侧部署场景而言,这意味着更低的硬件门槛与能耗成本;同时,这一结果也再次引发关于模型规模与智能水平关系的讨论——当小模型能够在特定任务上逼近大模型时,行业可能需要重新审视“参数越大越好”的既定思维,并更关注架构设计与训练策略的创新价值。

原文链接:https://huggingface.co/LiquidAI/LFM2.5-2.6B

不用 LangChain:200 行 TS 代码手搓 Agent 记忆与上下文压缩

一篇来自掘金的技术文章引发开发者社区热议:作者不依赖任何框架,用 200 行 TypeScript 代码实现了 Agent 的 Session 管理与动态上下文压缩,解决了聊天型 Agent “聊两句就失忆”、历史过长撑爆模型窗口两大痛点。具体方案包括滑动窗口裁剪、关键信息摘要提取以及按会话分层的记忆结构,其效果号称可媲美 Claude Code 的上下文管理体验。这篇文章的实际价值在于:它演示了 Agent 开发中记忆机制的最小可行实现,帮助开发者理解底层工作原理,而非盲目套用框架。对于正在构建量产级 Agent 应用的团队来说,这种轻量级方案既是快速原型工具,也是排查复杂上下文问题的调试参考。

原文链接:https://juejin.cn/post/7671855098491043866

数十亿美元机器人公司为何都在叠衣服

Figure AI、Sunday Robotics、Weave Robotics、1X 等累计融资数十亿美元的机器人创业公司,不约而同将“叠衣服”视为打开家用市场的关键切入点。这并非偶然:衣物是典型的可变形物体,机器人需要同时解决识别、抓取、展开与折叠等多阶段精细操作问题,对感知与灵巧操作要求极高,Figure 甚至将其称为人形机器人最具挑战性的任务之一。与此同时,叠衣服的失败成本极低——掉一件衣服不会造成损失,这使它成为验证机器人进入真实家庭环境的理想测试场。比较视野来看,家庭场景在环境复杂度与任务多样性上远超工厂与仓库,谁能率先攻克叠衣服这一关,谁就更有可能在家用服务机器人市场建立早期壁垒。

原文链接:https://www.ithome.com/0/987/806.htm

Meta 发布 Glimmer 开源模型,窥见扎克伯格“个人超级智能”蓝图


Meta 本周推出开放权重模型 Muse Glimmer,这款新模型被 TechCrunch 视为马克·扎克伯格个人超级智能愿景的具象化尝试。Glimmer 设计上强调用户对 AI 的“拥有权”,允许将模型部署在自有设备或私有环境,与依赖云端 API 的集中式 AI 形成鲜明对比。这一方向触及当下 AI 产业的核心分歧:用户究竟是“租用”模型能力,还是真正“拥有”可定制、可长期演进的智能体。随着开源权重模型与云端闭源模型的差距缩小,个人化 AI 的实用门槛正在降低,未来可能有更多用户选择自托管方案,进而重塑 AI 应用的分发与商业模式。
原文链接:https://techcrunch.com/2026/08/10/metas-new-glimmer-ai-model-offers-a-hint-at-zuckerbergs-personal-intelligence-vision/

智谱 API 用户接近 700 万,国产算力芯片部署超 5 万块


据晚点 LatePost 报道,智谱 MaaS 开放平台注册用户已接近 700 万,较 7 月初增长约 200 万,其中企业客户达 2.3 万家;对标 Codex 的开发者产品 ZCode 上线一个月用户突破百万。智谱今年 ARR 增长 15 倍,有投资人透露其 ARR 已达到 20 亿美元,但官方否认并称实际数字更高。为应对推理需求,智谱已启用超过 5 万块国产算力芯片,此前市场传闻其建成了规模 1 GW 的国产 AI 算力基础设施。这一进展不仅说明国产大模型平台在商业化上正快速放量,也表明国产芯片在真实生产环境中的承载能力已得到验证,缓解了此前外界对智谱 Infra 经验的质疑。
原文链接:https://www.ithome.com/0/988/048.htm

Claude 将为 AI 文本和图像添加不可见水印,应对欧洲透明度新规


Anthropic 宣布将开始为 Claude 生成的文本和图像嵌入机器可读的标记:文本将携带不可见水印,生成文件包含数字签名的来源元数据。这些改动对人类不可见,但能被检测工具识别,旨在符合欧盟关于 AI 透明度的规则。该措施与 Anthropic 此前发布的“How Claude marks AI-generated content”支持文档一致。在合成内容泛滥的背景下,内容水印是建立信任机制的重要一步,不过如何平衡水印隐蔽性与检测鲁棒性,以及开源模型能否同样强制执行,仍是行业待解的问题。
原文链接:https://www.theverge.com/ai-artificial-intelligence/977823/anthropic-claude-ai-watermarks-c2pa-text-images

Anthropic 开源 Agent Skills 官方仓库,定义可复用技能范式


Anthropics 在 GitHub 上公开了 anthropics/skills 仓库,用于存放 Agent Skills 的公共资源。这些技能旨在为 Claude 等智能体提供模块化、可复用的能力封装,让开发者可以像调用函数一样组合不同技能。该项目以 Python 为主,迅速登上 GitHub Trending。Agent Skills 的出现是智能体工程走向标准化的重要信号:此前开发者需要为每个任务单独编写提示词和工具链,而技能仓库有望成为类似 npm 的共享生态,降低智能体应用的构建门槛。
原文链接:https://github.com/anthropics/skills

用 Dart 构建 ADK Agent 与 MCP 服务器,给出一套可落地的开发范本


一位开发者在 Dev.to 上分享了如何构建并部署一个小型 Dart 服务,该服务将 ADK Agent、MCP 问候工具、Shelf 框架、SSE 和 Cloud Run 整合在一起。文章详细演示了从本地开发到云端部署的完整链路,并提供了实际代码。当前 MCP(模型上下文协议)正迅速成为 AI 智能体连接外部工具的事实标准,Dart 生态虽不如 Python/JS 活跃,但该示例展示了跨语言实现 MCP 服务器的可行性,对希望在非主流栈中集成智能体的团队具有参考价值。
原文链接:https://dev.to/gde/build-a-dart-adk-agent-and-mcp-server-4f9n

编码智能体的最佳编程语言?Token 效率成关键指标


Dan Luu 发表博客探讨编程语言对编码智能体(coding agents)的影响,并关联了此前 HN 上关于“哪些语言 token 效率最高”的讨论。文章指出,在上下文窗口受限的条件下,语言本身的 token 密度会直接影响智能体理解与生成代码的质量,紧凑语法可能比冗长风格更具优势。该问题看似技术细节,实则关系到智能体开发的整体效率与成本,也解释了为何部分团队在构建 AI 编程工具时更青睐 Rust、Python 等语法精简的语言。
原文链接:http://danluu.com/pl-tokens/

今日焦点:AI 内容可信度正取代 AI 能力本身,成为科技行业的最前沿议题——从苹果的照片认证、Anthropic 的文本水印到执法记录合规,真实性的锚点正在被重新定义。

热点文章池

  1. github_trending huggingface/transformers
  2. techcrunch Anthropic is turning Claude Code’s auto mode on by default
  3. juejin 实战从零开始构建一个Coding Agent:Violin |得物技术
  4. hackernews Muse Glimmer: 30B-parameter model optimized for always-on local agent workflows
  5. hackernews Exploiting System Management Mode with a very long interrupt
  6. ars_technica A researcher bought noreply.net. Companies started sending him secrets.
  7. x We’re expanding our cybersecurity initiative Daybreak and introducing GPT-5.6-Cyber, a new model for advanced,...
  8. x Meta is back with Muse Glimmer
  9. techcrunch As AI-led attacks multiply, OpenAI launches a new cyber model
  10. ithome 我国科学家研制出 455Wh/kg 高能量密度水系锌碘软包电池,800 圈稳定循环
  11. ithome 未公开的新模型“立功”,Anthropic 宣布 Claude 攻克黎曼猜想取得重大突破
  12. ars_technica New Pass-ta-key attack reveals all the things we didn't know about passkeys
  13. hackernews How We Pushed CDC into Postgres
  14. hackernews OpenChamber: An Agentic Development Environment
  15. devto From Threat Model to Framework: Closing the Real Gaps in Agent Skill Security
  16. techcrunch The AI safety test is becoming a safety risk
  17. devto Everything Was Working. AWS Wanted $1,665/Month More.
  18. ithome 通用百万比特光量子计算迎来可行路径,合肥硅臻芯片等发布片上 MBQC 技术突破
  19. juejin Agent Skills 完全指南:从目录规范到渐进式加载的工程实践
  20. x Introducing Muse Glimmer, an open-weight 30B-parameter model optimized for local, always-on agent workflows
  21. hackernews Show HN: Needle2: 14MB agentic LLM for phones, wearables, smart home and robots
  22. hackernews Tl;dv: Over 180k meetings left wide open
  23. github_trending ruvnet/RuView
  24. github_trending firecrawl/firecrawl
  25. devto Self-hosting a lite agent backend on one TPU: Gemma 4 E2B + vLLM on a v5e-1
  26. techcrunch A data breach at shipping giant Ceva Logistics is rippling across banks, retailers, Steam gamers, and beyond
  27. x We've used GPT-5.6-Cyber extensively in real-world vulnerability research, including work that uncovered previously...
  28. x We asked an unreleased research version of Claude to take a stab at the Riemann hypothesis
  29. hackernews Antirez/h3.c: MiniMax H3 inference engine for Mac computers
  30. x Today we're also opening the weights for Muse Glimmer, a great 30B parameter dense model that can run locally
  31. hackernews LFM2.5 2.6B model competitive with 4x larger models
  32. github_trending stablyai/orca
  33. juejin 不用LangChain:用 200 行代码手搓 Agent 对话记忆与上下文压缩
  34. ithome 我国科研团队突破量子网络规模化部署难题,实现百用户级 MDI 量子网络验证
  35. hackernews How to organize Claude Code for product work
  36. hackernews How I use LLMs to learn complex topics
  37. hackernews Show HN: A Project Oberon System version running on RISC-V instead of RISC-5
  38. techcrunch This ‘adversarial’ pattern can prevent surveillance cameras from detecting you
  39. juejin AI 测试提效 | 别搞万能 Skill,推荐用 5 个 Agent Skill 串起 UI 自动化全流程
  40. ithome 曝诺奖得主哈萨比斯曾有意离开谷歌母公司 Alphabet
  41. hackernews Auto mode is now the default in Claude Code
  42. ithome Linux 内核曝出 18 年历史漏洞 SCTPhantom:存在于 SCTP 网络通信功能中、可提权控制宿主机
  43. ithome 数十亿美元机器人公司,为何都盯上了叠衣服
  44. ithome CIS 最大 AI 工厂亚美尼亚投运,建设方 Firebird 获 NVIDIA 投资
  45. ithome 室温可用:SAXON Q 宣布 128 / 512 量子比特计算机开启预定
  46. hackernews Tail-Call Interpreters in Rust – Jimmy Ostler
  47. x Muse Glimmer can complete multi-step agentic tasks end-to-end from a single natural language prompt
  48. hackernews Sonic Pi v5
  49. hackernews Mistral Patent for “Code implemented tool calls”
  50. github_trending paperclipai/paperclip
  51. ars_technica Peer review is overwhelmed—can it survive in the AI era?
  52. devto Build a Dart ADK Agent and MCP Server
  53. techcrunch Meta’s new Glimmer AI model offers a hint at Zuckerberg’s personal intelligence vision
  54. juejin 别再瞎写 React Router!7 个高频踩坑点一次性讲透
  55. juejin listToTree 速通:一维数组怎么变出多级菜单?Map 和 reduce 两种全解
  56. ithome 消息称智谱 API 用户接近 700 万,已启用超 5 万块国产算力芯片
  57. ithome 消息称微软 Maia 300 AI 芯片最快下月亮相,目标 2027 年交付至少 30 万颗
  58. hackernews What's the best programming language for coding agents?
  59. hackernews How Claude marks AI-generated content
  60. hackernews Faster floating point math with Rust's new API
  61. github_trending anthropics/skills
  62. juejin 🔥 Network 里那坨 "data:" 我真看吐了,自制开源 Chrome 插件,AI 流式调试直接开挂
  63. hackernews What I learned by putting GitHub Copilot behind a MitM proxy
  64. theverge Claude will apply invisible watermarks to AI text and images
  65. hackernews ATProto for Distributed Systems Engineers
  66. hackernews Show HN: Voice driven murder mystery, Interview AI suspects with your voice
  67. hackernews To Save C, We Must Save ABI (2022)
  68. hackernews Cool URIs Don't Change (1998)
  69. hackernews The tragedy of the commons, AI edition
  70. hackernews Andrew Wiles on proving Fermat’s Last Theorem (1995) [video]
  71. devto Stop using the localStorage hack to sync browser tabs. BroadcastChannel does it natively.
  72. devto Restate's Single Binary vs Temporal's Cluster: When the Lighter Engine Wins
  73. devto A UI test that guesses is worse than one that fails
  74. juejin 做了个AI日志平台,零代码接入,嘎嘎好用
  75. ithome iGame X870E VULCAN OC V14 火神主板体验:BIOS 重磅升级,X3D AI 超频突破性能上限
  76. ithome 英特尔被曝将推出 256 核 "Diamond Rapids" 至强处理器
  77. juejin 从一个颜色选择器说起:我终于整明白了 React+TS 里的 model 与 api 分层
  78. juejin 小团队的最优解:单 Module + 包内 Clean 架构
  79. hackernews An alias-based formulation of the borrow checker (2018)
  80. devto GitHub doesn't retry webhooks. So I gave my tunnel a database.