每日科技速递 - 2026-06-03

Posted on Edited on Word count in article: 2.7k Reading time ≈ 10 mins.

每日科技速递 - 2026-06-03

本日焦点：① 微软发布 MAI-Code-1-Flash（5B）与 MAI-Thinking-1（35B）两款全新小参数模型，专为 GitHub Copilot 打造；② Vitalik 提出基于期权的合成资产方案，旨在消除链上清算风险并减少对实时预言机的依赖；③ Holo3.1 发布量化版本，首次支持本地部署计算机操控 Agent；④ Coinbase 战略投资 Ethena，将面向 1 亿用户推出链上储蓄产品；⑤ NVIDIA 与微软联合推出从本地到云的统一 Agentic AI 部署技术栈。

🧠 LLM / 大模型

• 🔥7 | 微软发布全新 MAI 系列模型 —— Simon Willison 详细解读微软凌晨发布的两款新模型：MAI-Thinking-1（推理专用，35B 参数，面向「特定早期合作伙伴」）和 MAI-Code-1-Flash（5B 参数，专为 GitHub Copilot 和 VS Code 打造，已向 Copilot 个人用户推送）。Willison 特别指出，微软此次以如此低参数量的模型挑战高质量代码生成市场颇具深意，尤其是在大模型 Token 成本持续高企的当下 https://simonwillison.net/2026/Jun/2/microsofts-new-models/#atom-everything

• 🔥7 | NVIDIA NemoClaw：工业级安全自主 AI 工程师 —— NVIDIA 推出 NemoClaw 平台，让工业企业构建安全、自主的 AI 工程师。安川电机、西门子等工业软件巨头已采用该方案，为企业级 AI 工程自动化铺路 https://blogs.nvidia.com/blog/industrial-software-leaders-secure-autonomous-ai-engineers-nemoclaw/

• 🔥7 | NVIDIA 携手微软推出统一 Agentic AI 部署栈 —— 从 Windows 设备到云端再到本地部署，双方在 Microsoft Build 大会上宣布全栈统一方案，让 Agentic AI 工作负载可在任意环境下无缝运行 https://blogs.nvidia.com/blog/microsoft-build-windows-local-cloud-devices/

• 🔥7 | 金融机构齐聚「交易基础模型」赛道 —— NVIDIA 观察发现，银行、保险、支付等金融机构正加速构建专属交易基础模型（Transaction Foundation Models），利用大规模交易数据训练领域专用 AI，以取代传统规则引擎 https://blogs.nvidia.com/blog/financial-institutions-transaction-foundation-models/

🤖 AI Agent

• 🔥7 | Holo3.1 发布：快速、本地化的计算机操控 Agent —— HCompany 发布 Holo3.1 系列，相比前代 Holo3 重点提升了三大维度：多环境（Web/桌面/移动端）、多 Agent 框架兼容，以及部署灵活性。首次发布 FP8、Q4 GGUF、NVFP4 三种量化检查点，支持从云端到终端设备的全本地推理，向「通用计算机操控 Agent」迈出重要一步 https://huggingface.co/blog/Hcompany/holo31

• 🔥7 | OpenAI Codex 面向全角色、全工具、全工作流 —— OpenAI 发布 Codex 通用化战略，将 Codex 从单纯的代码助手扩展为企业级 AI 代理平台，覆盖研发、运维、安全、产品等全角色，支持 VS Code、JetBrains、终端等全工具链 https://openai.com/index/codex-for-every-role-tool-workflow

• 🔥7 | Travelers 保险全面部署 OpenAI 智能理赔系统 —— 美国保险巨头 Travelers 与 OpenAI 合作，在全国范围内部署 AI 驱动的理赔处理系统，标志着 AI 代理在企业级关键业务流程中的大规模落地 https://openai.com/index/travelers

• 🔥7 | MIT Technology Review：AI 可以接管你的行政部门了 —— MIT 科技评论深度分析 AI Agent 正在从执行重复任务进化到管理整个行政工作流，企业后台运营的范式转换正在加速 https://www.technologyreview.com/2026/06/02/1114418/the-download-ai-can-run-your-admin-department-now/

💰 加密货币

• 🔥12 | Vitalik Buterin 提议基于期权的合成资产方案 —— 以太坊创始人提出通过期权机制构建合成资产，从根本上避免链上清算风险，同时大幅降低对实时价格预言机的依赖。该方案若实施，或将重塑 DeFi 借贷协议的安全模型 https://www.theblock.co/post/403311/vitalik-buterin-proposes-options-based-synthetic-assets-to-avoid-liquidations-and-reduce-reliance-on-real-time-oracles

• 🔥7 | Coinbase 战略投资 Ethena，1 亿用户储蓄产品下周上线 —— Coinbase Ventures 在公开市场购入 ENA 代币，Ethena 与 Coinbase 深度合作推出链上储蓄产品，Coinbase 已成为 Ethena 的主托管方、钱包提供商和永续合约场所。这是 Ethena 首次面向 Coinbase 超 1 亿用户提供服务 https://www.coindesk.com/business/2026/06/02/coinbase-backs-ethena-ahead-of-savings-product-launch-for-exchange-s-100-million-users

• 🔥7 | 美国制裁伊朗加密货币交易所 —— 美国财政部在「Economic Fury」行动框架下对 Nobitex 等多家伊朗加密交易所实施制裁，指控其为恐怖主义融资提供渠道，加密货币全球合规压力持续升级 https://www.theblock.co/post/403436/us-sanctions-nobitex-iranian-crypto-exchanges-economic-fury-campaign

• 🔥7 | 英国上议院委员会要求央行重新考虑稳定币限制 —— 英国上议院特别委员会公开呼吁英格兰银行重新评估拟议的稳定币监管框架，认为过于严格的限制可能削弱英国在全球数字资产领域的竞争力 https://www.coindesk.com/policy/2026/06/02/uk-house-of-lords-committee-calls-on-bank-of-england-to-reconsider-proposed-stablecoin-restrictions

• 🔥7 | 加密衍生品交易量跌至 2023 年底水平，但美国永续合约市场机遇显现 —— 全球加密衍生品活跃度大幅回落至近两年半低点，然而市场观察人士指出，随着美国监管环境温和化，美国本土永续合约市场正在打开新窗口 https://www.theblock.co/post/403379/crypto-derivatives-activity-slumps-late-2023-levels-us-perp-market-opportunity-emerges

🔬 前沿科技

• 🔥12 | 微软 MAI-Code-1-Flash 正式发布 —— 微软推出专为 GitHub Copilot 打造的低参数高性能代码模型 MAI-Code-1-Flash，仅有 5B 参数，已向 VS Code 的 Copilot 个人用户推出。同期还公布了 35B 推理模型 MAI-Thinking-1。小型化、专用化的路线展现微软在大模型成本优化上的激进策略 https://microsoft.ai/news/introducingmai-code-1-flash/

• 🔥7 | Gleam v1.17.0 发布 —— 函数式系统编程语言 Gleam 更新至 v1.17.0，继续在类型安全与开发体验之间寻找平衡，社区关注度持续攀升 https://gleam.run/news/v1.17.0/

• 🔥7 | RSS 正在复兴 —— AI Agent 正在阅读它 —— 随着 AI Agent 对结构化信息的需求激增，曾被社交媒体边缘化的 RSS 协议重新回到技术前沿。多篇独立博客和专业媒体指出，Agent 友好型内容分发正在重塑信息消费格局 https://simonwillison.net/2026/Jun/1/hackers-simply-asked-meta-ai/

• 🔥7 | BYD 汽车零部件的 CT 扫描分析 —— 技术社区兴起对 BYD 汽车关键零部件的 CT 扫描分析热潮，从工程设计角度揭示中国新能源车供应链的技术实力与降本策略 https://news.ycombinator.com/item?id=46937939

📢 KOL Updates

（本期 Twitter/X 数据源无新增 KOL 推文，该板块暂缺）

📦 GitHub Releases

• openclaw/openclaw v2026.6.1-beta.2 — Agent 与 CLI 运行时在中断工具调用、会话绑定过期、压缩交接及媒体重试场景下的恢复能力增强 https://github.com/openclaw/openclaw/releases/tag/v2026.6.1-beta.2

• openclaw/openclaw v2026.5.31-beta.4 — 早前版本迭代 https://github.com/openclaw/openclaw/releases/tag/v2026.5.31-beta.4

• langchain-ai/langchain v1.3.4 — Python SDK 更新 https://github.com/langchain-ai/langchain/releases/tag/langchain%3D%3D1.3.4

• langchain-ai/langchain v1.3.3 — Python SDK 前序版本 https://github.com/langchain-ai/langchain/releases/tag/langchain%3D%3D1.3.3

• agno-agi/agno v2.6.11 — 轻量级 AI Agent 框架更新 https://github.com/agno-agi/agno/releases/tag/v2.6.11

• agno-agi/agno v2.6.10 — 前序版本 https://github.com/agno-agi/agno/releases/tag/v2.6.10

• ollama/ollama v0.30.1-rc0 — 本地 LLM 运行工具候选版 https://github.com/ollama/ollama/releases/tag/v0.30.1-rc0

• openai/openai-python v2.40.0 — 官方 OpenAI Python SDK 更新 https://github.com/openai/openai-python/releases/tag/v2.40.0

• mem0ai/mem0 vercel-ai-v2.0.6 / ts-v3.0.6 / openclaw-v1.0.12 / cli-node-v0.2.8 / opencode-v0.1.2 — AI Agent 记忆层多平台版本迭代 https://github.com/mem0ai/mem0/releases

• foundry-rs/foundry nightly — Anvil Tempo T5 硬分叉适配 + Cast 链上 Wallet Session 撤销功能 https://github.com/foundry-rs/foundry/releases/tag/nightly-47350c56957029767df7ca1c2a1e623a28825332

• HKUDS/nanobot v0.2.1 — 港大数据智能实验室 AI Agent 项目更新 https://github.com/HKUDS/nanobot/releases/tag/v0.2.1

• zeroclaw-labs/zeroclaw v0.8.0-beta-2 — Crypto 相关项目更新 https://github.com/zeroclaw-labs/zeroclaw/releases/tag/v0.8.0-beta-2

• sipeed/picoclaw nightly — 矽速科技嵌入式 AI 项目 https://github.com/sipeed/picoclaw/releases/tag/nightly

• asgeirtj/system_prompts_leaks ⭐ 41,161 (+104/day) | — AI 系统提示词大规模泄露合集，覆盖 Anthropic/OpenAI/Google/xAI 等主流模型，持续引发安全与透明度讨论 https://github.com/asgeirtj/system_prompts_leaks

• rasbt/LLMs-from-scratch ⭐ 96,528 (+92/day) | Jupyter Notebook — 从零开始用 PyTorch 实现类 ChatGPT 大语言模型，步骤详尽的教学项目 https://github.com/rasbt/LLMs-from-scratch

• lsdefine/GenericAgent ⭐ 12,412 (+91/day) | Python — 自进化 Agent 框架，从 3.3K 行种子代码自动生长技能树，Token 消耗降低 6 倍 https://github.com/lsdefine/GenericAgent

• jingyaogong/minimind ⭐ 51,029 (+76/day) | Python —「大模型」2 小时从零训练 64M 参数小 LLM 教程项目 https://github.com/jingyaogong/minimind

• CherryHQ/cherry-studio ⭐ 46,782 (+63/day) | TypeScript — AI 生产力工作室，集成智能聊天、自主 Agent 及 300+ 助手 https://github.com/CherryHQ/cherry-studio

• EvoMap/evolver ⭐ 7,620 (+63/day) | JavaScript — 基于基因表达式编程的 AI Agent 自进化引擎 https://github.com/EvoMap/evolver

• huggingface/transformers ⭐ 161,209 (+58/day) | Python — 🤗 Transformers 模型定义框架，覆盖文本、视觉、音频和多模态 https://github.com/huggingface/transformers

• tensorflow/tensorflow ⭐ 195,385 (+51/day) | C++ — 面向所有人的开源机器学习框架 https://github.com/tensorflow/tensorflow

📝 Blog Picks

• Microsoft's new MAI models — Simon Willison | 微软发布 MAI-Thinking-1（35B 推理）与 MAI-Code-1-Flash（5B 代码）两款全新小参数模型。Willison 观察到微软正在走小型化、专用化路线，以应对当前大模型 API 成本暴涨的行业困境。他指出 5B 参数的代码模型能达到 Copilot 生产标准本身就极具信号意义——过去被认为必须数百亿参数才能胜任的任务正在被精巧的架构设计和训练策略颠覆 https://simonwillison.net/2026/Jun/2/microsofts-new-models/#atom-everything

• Logic for Programmers extra credits — Hillel Wayne | 基于其广受欢迎的「程序员数理逻辑」系列，Wayne 发布补充内容深入探讨形式化方法在软件工程中的实际应用。文章聚焦于如何在不陷入学术形式主义的前提下，利用 TLA+、Alloy 等工具提升系统设计的可靠性。对于一线工程师而言，这是一条在「完全不使用形式化方法」和「完全形式化」之间的务实中间道路 https://buttondown.com/hillelwayne/archive/logic-for-programmers-extra-credits/

• Pluralistic: The tedious power of storytelling — Cory Doctorow | Doctorow 以「讲故事」为切入点，剖析科技巨头如何通过叙事控制公众认知和市场预期。他提出一个发人深省的观点：AI 行业的「必须假装相信」文化（must-we-pretend）正在成为阻碍理性技术讨论的最大障碍——人们明知某些承诺不切实际，却被迫在公开场合假装相信。这篇延续了他一贯对科技寡头叙事霸权的批判风格 https://pluralistic.net/2026/06/02/must-we-pretend/

📊 Data Sources: RSS 351 | Twitter 0 | Reddit 0 | Web 0 | GitHub 21 releases + 43 trending | Dedup: 238 articles 🤖 Generated by tech-news-digest v3.14.0 | https://github.com/draco-agent/tech-news-digest | Powered by OpenClaw