OpenAI正式加入Rust基金会成为白金会员，并追加注资60万美元支持生态建设
OpenAI 宣布正式以白金会员身份加入 Rust 语言非营利托管组织 Rust 基金会（Rust Foundation），并承诺通过基金会投入总计 60 万美元的资金。这笔资金将结合白金会员年费，重点支持 Rust 项目目标（Rust Project Goals）、Rust 创新实验室（Rust Innovation Lab），以及直接资助 Rust 生态中被广泛依赖的开源项目维护者。
作为合作的一部分，OpenAI 技术成员、Rust 社区资深成员兼版本兼容性检查工具 cargo-semver-checks 的维护者 Predrag Gruevski 将代表 OpenAI 加入 Rust 基金会董事会。Gruevski 表示，Rust 能够协助开发团队快速构建底层系统，且无需在性能、安全、可靠性之间进行妥协。OpenAI 将与 Rust 项目的资助团队（Funding Team）合作，探索最有效的资金分发路径。
在宣布加入基金会的前两天，OpenAI 已通过 GitHub Sponsors 启动了超过 16 万美元的直接赞助，重点面向 Astral 与 Codex 工具链所依赖的开源项目维护者。赞助对象覆盖原 Astral OSS 基金支持的所有项目，并在过渡至 OpenAI 赞助账号后扩大了资金规模。OpenAI 一直将 Rust 视为系统编程的未来，并计划后续推出更多支持举措。
信源：https://x.com/charliermarsh/status/2067280638994968657
OpenAI 宣布正式以白金会员身份加入 Rust 语言非营利托管组织 Rust 基金会（Rust Foundation），并承诺通过基金会投入总计 60 万美元的资金。这笔资金将结合白金会员年费，重点支持 Rust 项目目标（Rust Project Goals）、Rust 创新实验室（Rust Innovation Lab），以及直接资助 Rust 生态中被广泛依赖的开源项目维护者。
作为合作的一部分，OpenAI 技术成员、Rust 社区资深成员兼版本兼容性检查工具 cargo-semver-checks 的维护者 Predrag Gruevski 将代表 OpenAI 加入 Rust 基金会董事会。Gruevski 表示，Rust 能够协助开发团队快速构建底层系统，且无需在性能、安全、可靠性之间进行妥协。OpenAI 将与 Rust 项目的资助团队（Funding Team）合作，探索最有效的资金分发路径。
在宣布加入基金会的前两天，OpenAI 已通过 GitHub Sponsors 启动了超过 16 万美元的直接赞助，重点面向 Astral 与 Codex 工具链所依赖的开源项目维护者。赞助对象覆盖原 Astral OSS 基金支持的所有项目，并在过渡至 OpenAI 赞助账号后扩大了资金规模。OpenAI 一直将 Rust 视为系统编程的未来，并计划后续推出更多支持举措。
信源：https://x.com/charliermarsh/status/2067280638994968657
X (formerly Twitter)
Charlie Marsh (@charliermarsh) on X
At OpenAI, we're continuing to bet on Rust as the future of systems programming.
I'm proud to announce that we're making a $600,000 commitment to the Rust Foundation, which combines our Platinum membership with additional support for maintainer efforts across…
I'm proud to announce that we're making a $600,000 commitment to the Rust Foundation, which combines our Platinum membership with additional support for maintainer efforts across…
摩根大通禁止香港员工访问Anthropic，继高盛后收紧合规防线
据英国《金融时报》引述知情人士消息，摩根大通已停止香港分行员工访问 Anthropic 开发的 AI 模型。报道指出，香港分行员工目前已无法从行内获批的大语言模型下拉列表中选择 Claude 模型。这是继高盛集团在今年早些时候采取类似举措后，又一家华尔街机构在香港限制使用 Claude 模型。
知情人士指出，摩根大通决定禁用 Claude 模型，主要基于许可协议中 Anthropic 使用条款的限制性描述。此前，高盛也对 Anthropic 服务条款进行了严格解读。服务条款明确将大中华区（包含香港）排除在服务范围之外。
美国 AI 公司对大中华区实施使用限制，部分原因在于防范「蒸馏」风险，即中国本土团队通过高频调用前沿模型来训练自主大模型。目前，ChatGPT 和 Claude 等西方先进模型均无法直接在香港访问。跨国企业通常通过签署全球合同并在境外托管算力来规避地理限制。但华尔街银行的限制举措表明，地缘政治冲突导致的条款壁垒正传导至跨国金融机构。由于全球金融业已广泛将前沿 AI 模型用于编码等核心业务，限制员工访问可能对香港作为国际金融中心的竞争力带来负面影响。
信源：https://www.ft.com/content/de83d303-6a03-456b-bfb9-7b11dd502ab3?syn-25a6b1a6=1
据英国《金融时报》引述知情人士消息，摩根大通已停止香港分行员工访问 Anthropic 开发的 AI 模型。报道指出，香港分行员工目前已无法从行内获批的大语言模型下拉列表中选择 Claude 模型。这是继高盛集团在今年早些时候采取类似举措后，又一家华尔街机构在香港限制使用 Claude 模型。
知情人士指出，摩根大通决定禁用 Claude 模型，主要基于许可协议中 Anthropic 使用条款的限制性描述。此前，高盛也对 Anthropic 服务条款进行了严格解读。服务条款明确将大中华区（包含香港）排除在服务范围之外。
美国 AI 公司对大中华区实施使用限制，部分原因在于防范「蒸馏」风险，即中国本土团队通过高频调用前沿模型来训练自主大模型。目前，ChatGPT 和 Claude 等西方先进模型均无法直接在香港访问。跨国企业通常通过签署全球合同并在境外托管算力来规避地理限制。但华尔街银行的限制举措表明，地缘政治冲突导致的条款壁垒正传导至跨国金融机构。由于全球金融业已广泛将前沿 AI 模型用于编码等核心业务，限制员工访问可能对香港作为国际金融中心的竞争力带来负面影响。
信源：https://www.ft.com/content/de83d303-6a03-456b-bfb9-7b11dd502ab3?syn-25a6b1a6=1
AI形式化验证公司Pramaana Labs获2700万美元种子轮融资，引入LEAN数学证明解决幻觉
致力于将数学形式化验证引入 AI 的初创公司 Pramaana Labs 宣布完成 2700 万美元种子轮融资。本轮融资由 Khosla Ventures 领投，Accel、BoldCap、Nexus Venture Partners、Premji Invest 及 Unbound 参投。资金将用于为法律、药物研发、税务申报等高敏感且对错误零容忍的行业，构建确定性验证层。
Pramaana Labs 的系统底层仍运行传统的 LLM，以保持处理复杂问题与自然语言的灵活性，但其核心创新在于在 LLM 之上构建了一层确定性验证机制。该机制借鉴了用于验证数学定理的开源 LEAN 编程语言，将具体领域的行业规则代码化。
为了针对不同垂直行业构建 LEAN 风格的形式化验证系统，Pramaana 邀请了大量领域专家进行监督与背书。在税务领域，公司正与前美国国税局（IRS）局长 Danny Werfel 展开合作；在网络安全和药物研发系统方面，则由来自印度理工学院（IIT）德里与马德拉斯分校以及加州大学伯克利分校的教授团队主导。
信源：https://techcrunch.com/2026/06/17/pramaana-labs-raises-27-million-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai/
致力于将数学形式化验证引入 AI 的初创公司 Pramaana Labs 宣布完成 2700 万美元种子轮融资。本轮融资由 Khosla Ventures 领投，Accel、BoldCap、Nexus Venture Partners、Premji Invest 及 Unbound 参投。资金将用于为法律、药物研发、税务申报等高敏感且对错误零容忍的行业，构建确定性验证层。
Pramaana Labs 的系统底层仍运行传统的 LLM，以保持处理复杂问题与自然语言的灵活性，但其核心创新在于在 LLM 之上构建了一层确定性验证机制。该机制借鉴了用于验证数学定理的开源 LEAN 编程语言，将具体领域的行业规则代码化。
为了针对不同垂直行业构建 LEAN 风格的形式化验证系统，Pramaana 邀请了大量领域专家进行监督与背书。在税务领域，公司正与前美国国税局（IRS）局长 Danny Werfel 展开合作；在网络安全和药物研发系统方面，则由来自印度理工学院（IIT）德里与马德拉斯分校以及加州大学伯克利分校的教授团队主导。
信源：https://techcrunch.com/2026/06/17/pramaana-labs-raises-27-million-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai/
TechCrunch
Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI | TechCrunch
Pramaana will focus on highly sensitive verticals like law, drug discovery, and tax preparation — where errors can be costly and reliability is at a premium.
Vercel开源智能体框架eve，主打开发运行一体化与生产化就绪
Vercel 正式开源了 AI 智能体框架 eve，主打开发、运行与生产部署一体化。类比于 Next.js 对 Web 开发的规范化，eve 采用文件驱动架构，允许通过在特定目录放置
在运行与安全层面，eve 基于开源 Workflow SDK 实现了「耐用执行（Durable Execution）」，在会话每一步进行检查点备份，确保智能体在遭遇服务崩溃或重新部署时能原地恢复运行。同时，智能体代码的执行被置于独立的隔离沙箱（Vercel Sandbox）中，支持对高风险操作配置人机协同审批，并可通过声明文件直接连接模型上下文协议（MCP）服务器。
Vercel 内部目前已在生产环境中运行着 100 多个基于 eve 构建的智能体，最活跃的数据分析智能体 d0 在 Slack 中月均处理超 3 万次提问。目前 eve 已经在 GitHub 上开源，开发者可通过
信源：https://vercel.com/blog/introducing-eve
Vercel 正式开源了 AI 智能体框架 eve，主打开发、运行与生产部署一体化。类比于 Next.js 对 Web 开发的规范化，eve 采用文件驱动架构，允许通过在特定目录放置
agent.ts`（配置模型）、`instructions.md`（系统提示词）和 `tools/ 等文件，自动构建并部署智能体，以破除传统开发中手动拼接底层管道的痛点。在运行与安全层面，eve 基于开源 Workflow SDK 实现了「耐用执行（Durable Execution）」，在会话每一步进行检查点备份，确保智能体在遭遇服务崩溃或重新部署时能原地恢复运行。同时，智能体代码的执行被置于独立的隔离沙箱（Vercel Sandbox）中，支持对高风险操作配置人机协同审批，并可通过声明文件直接连接模型上下文协议（MCP）服务器。
Vercel 内部目前已在生产环境中运行着 100 多个基于 eve 构建的智能体，最活跃的数据分析智能体 d0 在 Slack 中月均处理超 3 万次提问。目前 eve 已经在 GitHub 上开源，开发者可通过
npx eve@latest init <name> 快速初始化项目，并在本地通过终端界面进行可视化调试。信源：https://vercel.com/blog/introducing-eve
Vercel
Introducing eve
Introducing eve, the open-source agent framework from Vercel for building, running, and scaling agents in production, with durable execution, sandboxed compute, approvals, channels, tracing, and evals built in.
Frontier碳移除联盟获9.15亿美元增资，Anthropic作为新成员加入
由多家科技巨头联合发起的碳移除采购联盟 Frontier 周三宣布，获得新增 9.15 亿美元的资金承诺，并将生成式 AI 独角兽 Anthropic 纳为新成员。这笔大额增资将联盟的总资金承诺提升至 18 亿美元。Frontier 旨在通过预先承诺购买碳移除额度，来降低初创项目的商业化风险，推动项目加速实现规模化。
这笔新资金将重点投向海洋碱度提升（ocean alkalinity enhancement）、生物质碳移除（biomass-based removal）、增强岩石风化（enhanced rock weathering）以及直接空气捕集（direct air capture）等四项前沿碳移除技术。Frontier 计划通过为期 8 至 10 年的承购合同（offtake contracts，最长可延伸至 2040 年），在相关领域进行 10 到 15 次重点押注。尽管相关技术均带有不同程度的成本和技术风险，但联盟认为它们共同具备达到吉吨级（gigaton scale）碳移除的潜力。
Frontier 成立于 2022 年，最初由 Stripe、谷歌（Google）、Meta、Shopify 等企业联合发起，Salesforce 等也是联盟现有成员。
信源：https://www.reuters.com/sustainability/cop/big-tech-backed-coalition-carbon-removal-increases-funding-by-915-million-adds-2026-06-17/
由多家科技巨头联合发起的碳移除采购联盟 Frontier 周三宣布，获得新增 9.15 亿美元的资金承诺，并将生成式 AI 独角兽 Anthropic 纳为新成员。这笔大额增资将联盟的总资金承诺提升至 18 亿美元。Frontier 旨在通过预先承诺购买碳移除额度，来降低初创项目的商业化风险，推动项目加速实现规模化。
这笔新资金将重点投向海洋碱度提升（ocean alkalinity enhancement）、生物质碳移除（biomass-based removal）、增强岩石风化（enhanced rock weathering）以及直接空气捕集（direct air capture）等四项前沿碳移除技术。Frontier 计划通过为期 8 至 10 年的承购合同（offtake contracts，最长可延伸至 2040 年），在相关领域进行 10 到 15 次重点押注。尽管相关技术均带有不同程度的成本和技术风险，但联盟认为它们共同具备达到吉吨级（gigaton scale）碳移除的潜力。
Frontier 成立于 2022 年，最初由 Stripe、谷歌（Google）、Meta、Shopify 等企业联合发起，Salesforce 等也是联盟现有成员。
信源：https://www.reuters.com/sustainability/cop/big-tech-backed-coalition-carbon-removal-increases-funding-by-915-million-adds-2026-06-17/
DeepSeek上线识图模式，基于撤回的原语框架支持视觉CoT推理
DeepSeek 网页端和 App 端正式上线识图模式 (Vision Mode)，在对话输入框上方与快速模式、专家模式并列提供。新上线的视觉理解能力并非简单的文字识别 (OCR)，而是主打深度场景分析、空间逻辑推理以及将 UI 界面截图直接转化为 HTML 结构化代码。对于高难度的几何推导或复杂图表分析，系统会自动激活深度思考模型，提供完整的推理链条。
识图模式底层基于 DeepSeek 团队公布的「以视觉原语思考 (Thinking with Visual Primitives)」研究框架。多模态研究员 Xiaokang Chen 与北京大学、清华大学联合发表的论文指出，现有视觉语言模型在精细定位和空间推理中存在「指称缺陷」 (Reference Gap)，即难以用模糊的自然语言描述复杂的视觉坐标。为此，研究团队将坐标点与边界框 (Bounding Boxes) 提升为最小思维单位，在模型进行视觉推理的思维链 (CoT) 中直接插入空间原语，实现了在思考过程中同步进行空间指向。
作为视觉能力基础的学术论文与开源项目曾于 4 月 30 日短暂放出，但随即被 DeepSeek 官方于 5 月 1 日无预警撤回，引发了行业关于技术细节过度泄露以及模型后续优化的诸多猜测。正式上线的识图模式仅支持图像输入，暂不支持视频、音频等多模态格式，且模型目前不具备图像生成能力。
信源：https://x.com/PKUCXK/status/2067460570958426452
DeepSeek 网页端和 App 端正式上线识图模式 (Vision Mode)，在对话输入框上方与快速模式、专家模式并列提供。新上线的视觉理解能力并非简单的文字识别 (OCR)，而是主打深度场景分析、空间逻辑推理以及将 UI 界面截图直接转化为 HTML 结构化代码。对于高难度的几何推导或复杂图表分析，系统会自动激活深度思考模型，提供完整的推理链条。
识图模式底层基于 DeepSeek 团队公布的「以视觉原语思考 (Thinking with Visual Primitives)」研究框架。多模态研究员 Xiaokang Chen 与北京大学、清华大学联合发表的论文指出，现有视觉语言模型在精细定位和空间推理中存在「指称缺陷」 (Reference Gap)，即难以用模糊的自然语言描述复杂的视觉坐标。为此，研究团队将坐标点与边界框 (Bounding Boxes) 提升为最小思维单位，在模型进行视觉推理的思维链 (CoT) 中直接插入空间原语，实现了在思考过程中同步进行空间指向。
作为视觉能力基础的学术论文与开源项目曾于 4 月 30 日短暂放出，但随即被 DeepSeek 官方于 5 月 1 日无预警撤回，引发了行业关于技术细节过度泄露以及模型后续优化的诸多猜测。正式上线的识图模式仅支持图像输入，暂不支持视频、音频等多模态格式，且模型目前不具备图像生成能力。
信源：https://x.com/PKUCXK/status/2067460570958426452
❤1
动察Beating AI News
里约自研大模型被揭套壳，直接线性合并中国开源项目权重 巴西里约市政府开源的 397B 大模型被开源社区揭露为直接套壳的合并产物。 巴西里约市政府所谓的 397B 自研大模型，已被当场抓包是零后期训练的线性权重缝合版。 所谓的自研模型 Rio-3.5-Open-397B 权重文件并未经过宣传的后训练，而是直接将 Nex-AGI 团队的开源模型 Nex N2 Pro 与阿里 Qwen 3.5 按照 6 比 4 的权重比例进行线性合并的结果。 被套壳的开源模型 Nex N2 Pro 由开源 AI 联盟 Nex…
里约大模型套壳丑闻后续：官方辩称模型丢失被迫重训，被指借AI项目侵吞公款
巴西里约热内卢市政府旗下 IT 公司 IplanRIO 日前发表官方声明，回应先前模型被指套壳中国开源项目 Nex-N2 Pro 和阿里 Qwen 3.5 的争议。官方在致歉的同时给出了一个离奇辩解，称用于发布的最终模型权重文件已经丢失，被迫重新排期训练。官方的回应未能平息舆论，反而引发了项目涉嫌利用 AI 概念侵吞公款的强烈质疑。
IplanRIO 在声明中承认，Rio-3.5-Open-397B 并非宣传中自研且从头训练的基座模型，而是基于已有开源模型进行微调与合并的产物，并为先前未在文档中致谢 Nex-AGI 团队致歉。对于上传的实际权重为何是 Nex 与 Qwen 线性合并的「缝合版」，官方解释称由于「操作失误」上传了用于对比的中间基线版本，而非经过蒸馏和后训练的最终版。但官方随即表示，团队曾尝试恢复最终模型但未能成功，必须在重新训练和外部验证后才能重新发布。目前，Rio-3.5-Open-397B 在 Hugging Face 上的页面已全部下架清空。
里约市政府先前为大模型项目拨付了 50 万雷亚尔（约合 10 万美元）的训练经费，但最终交差的却是一个零训练的缝合权重，甚至连所谓的「最终版权重」也查无实据。事件本质是极其拙劣的套取经费骗局：拿了公款却只用开源权重缝合交差，被当场抓包后用「文件丢失」掩盖，最后再用「重新训练」画饼糊弄。
信源：https://x.com/IplanRio_rj/status/2066693494769348946
巴西里约热内卢市政府旗下 IT 公司 IplanRIO 日前发表官方声明，回应先前模型被指套壳中国开源项目 Nex-N2 Pro 和阿里 Qwen 3.5 的争议。官方在致歉的同时给出了一个离奇辩解，称用于发布的最终模型权重文件已经丢失，被迫重新排期训练。官方的回应未能平息舆论，反而引发了项目涉嫌利用 AI 概念侵吞公款的强烈质疑。
IplanRIO 在声明中承认，Rio-3.5-Open-397B 并非宣传中自研且从头训练的基座模型，而是基于已有开源模型进行微调与合并的产物，并为先前未在文档中致谢 Nex-AGI 团队致歉。对于上传的实际权重为何是 Nex 与 Qwen 线性合并的「缝合版」，官方解释称由于「操作失误」上传了用于对比的中间基线版本，而非经过蒸馏和后训练的最终版。但官方随即表示，团队曾尝试恢复最终模型但未能成功，必须在重新训练和外部验证后才能重新发布。目前，Rio-3.5-Open-397B 在 Hugging Face 上的页面已全部下架清空。
里约市政府先前为大模型项目拨付了 50 万雷亚尔（约合 10 万美元）的训练经费，但最终交差的却是一个零训练的缝合权重，甚至连所谓的「最终版权重」也查无实据。事件本质是极其拙劣的套取经费骗局：拿了公款却只用开源权重缝合交差，被当场抓包后用「文件丢失」掩盖，最后再用「重新训练」画饼糊弄。
信源：https://x.com/IplanRio_rj/status/2066693494769348946
X (formerly Twitter)
IplanRio (@IplanRio_rj) on X
NOTE ON RIO 3.5 OPEN
In recent days, Rio 3.5 Open has received far more attention than we anticipated. Along with it came analyses and, of course, criticisms and questions.
First, we want to clarify that the model is not foundational, trained from scratch…
In recent days, Rio 3.5 Open has received far more attention than we anticipated. Along with it came analyses and, of course, criticisms and questions.
First, we want to clarify that the model is not foundational, trained from scratch…
「科学语法」大模型LOGOS开源：以纯序列打通多领域AI4S建模
阿里巴巴旗下 ATH-Token Foundry 联合中国人民大学高瓴人工智能学院，开源了多领域科学生成大模型 LOGOS。不同于针对结构预测、分子生成分立训练专家模型，LOGOS 首次在 LLM 架构内实现了蛋白质、小分子、材料和化学反应的原生统一建模与生成。
核心突破在于将三维空间接触模式编码为 Token 序列。LOGOS 无需输入 3D 坐标即可捕捉空间互作，消除了预训练与下游任务的偏差。预训练语料库达 448.7 亿 tokens，完整覆盖蛋白质、小分子、化学反应等 7 类科学模态。
在六大任务评测中，1B 参数量的 LOGOS-1B 仅以 1/56 的参数规模，在多项任务上超越 56B 参数量的 NatureLM。在 AI 制药关键的口袋配体生成中，LOGOS 首次以纯序列范式击败了依赖 3D 坐标的扩散模型；在逆合成预测中取得 74.8% 的 Top-1 准确率。目前，LOGOS 已完整开源模型权重、推理代码与学术论文。
信源：https://mp.weixin.qq.com/s/50q5uY849FKnBzk1Q04MRg
阿里巴巴旗下 ATH-Token Foundry 联合中国人民大学高瓴人工智能学院，开源了多领域科学生成大模型 LOGOS。不同于针对结构预测、分子生成分立训练专家模型，LOGOS 首次在 LLM 架构内实现了蛋白质、小分子、材料和化学反应的原生统一建模与生成。
核心突破在于将三维空间接触模式编码为 Token 序列。LOGOS 无需输入 3D 坐标即可捕捉空间互作，消除了预训练与下游任务的偏差。预训练语料库达 448.7 亿 tokens，完整覆盖蛋白质、小分子、化学反应等 7 类科学模态。
在六大任务评测中，1B 参数量的 LOGOS-1B 仅以 1/56 的参数规模，在多项任务上超越 56B 参数量的 NatureLM。在 AI 制药关键的口袋配体生成中，LOGOS 首次以纯序列范式击败了依赖 3D 坐标的扩散模型；在逆合成预测中取得 74.8% 的 Top-1 准确率。目前，LOGOS 已完整开源模型权重、推理代码与学术论文。
信源：https://mp.weixin.qq.com/s/50q5uY849FKnBzk1Q04MRg
OpenAI推出生物基准LifeSciBench，GPT-Rosalind通过率仅36%
OpenAI 联合 173 名生物技术与制药研发领域的博士级科学家，推出全新的评测基准 LifeSciBench，用以衡量并改善 AI 对真实世界生命科学研究的支持能力。相较于侧重窄领域知识记忆或单步回答的传统评测，LifeSciBench 聚焦于科研工作流中的多步推理与不确定性决策。
整个评测包含 750 个专家撰写任务并经过 453 名同行评议人验证，覆盖证据处理、数据分析、设计与优化、科学推理、验证与操作、转化、科学传播 7 个工作流。为了模拟真实科研协作，LifeSciBench 引入了序列文件、图表、分子结构、PDF 论文等 1,062 个科学制品。有 53% 的任务包含这些制品，79% 的任务需要多步推理（平均约 4 步）。评测最终通过专家制定的 19,020 条细粒度标准进行打分。
首批评测结果显示，现有的前沿大模型在应对真实生命科学研究时仍面临极高门槛。OpenAI 专为生物医药研发设计的推理模型 GPT-Rosalind（今年 4 月开启预览）取得了最佳成绩，但也仅实现了 36.1% 的任务通过率（标准化得分 0.576）。在需要处理复杂制品的任务中，GPT-Rosalind 的通过率进一步降至 28.1%。目前，有 171 个任务（占比 22.8%）在所有被测模型中通过率均为 0%，属于当前全行业大模型均无法攻克的绝对死角。
信源：https://openai.com/index/introducing-life-sci-bench/
OpenAI 联合 173 名生物技术与制药研发领域的博士级科学家，推出全新的评测基准 LifeSciBench，用以衡量并改善 AI 对真实世界生命科学研究的支持能力。相较于侧重窄领域知识记忆或单步回答的传统评测，LifeSciBench 聚焦于科研工作流中的多步推理与不确定性决策。
整个评测包含 750 个专家撰写任务并经过 453 名同行评议人验证，覆盖证据处理、数据分析、设计与优化、科学推理、验证与操作、转化、科学传播 7 个工作流。为了模拟真实科研协作，LifeSciBench 引入了序列文件、图表、分子结构、PDF 论文等 1,062 个科学制品。有 53% 的任务包含这些制品，79% 的任务需要多步推理（平均约 4 步）。评测最终通过专家制定的 19,020 条细粒度标准进行打分。
首批评测结果显示，现有的前沿大模型在应对真实生命科学研究时仍面临极高门槛。OpenAI 专为生物医药研发设计的推理模型 GPT-Rosalind（今年 4 月开启预览）取得了最佳成绩，但也仅实现了 36.1% 的任务通过率（标准化得分 0.576）。在需要处理复杂制品的任务中，GPT-Rosalind 的通过率进一步降至 28.1%。目前，有 171 个任务（占比 22.8%）在所有被测模型中通过率均为 0%，属于当前全行业大模型均无法攻克的绝对死角。
信源：https://openai.com/index/introducing-life-sci-bench/
OpenAI
Introducing LifeSciBench
Introducing LifeSciBench, an expert-authored, expert-reviewed benchmark for evaluating how AI systems handle real-world life science research tasks and decisions.
❤1
算力租赁服务商Baseten拟敲定15亿美元融资，双层估值冲上130亿美元
AI 推理服务商 Baseten 正在敲定新一轮 15 亿美元融资。相比三个月前谈判中拟以 110 亿美元估值融资 10 亿美元的方案，最终确定的融资规模扩大了 5 亿美元。估值也调整为双层结构，部分投资者按 110 亿美元估值认购，另一部分按 130 亿美元估值跟投。本轮由 Altimeter Capital、Conviction、Spark Capital、Sands Capital 与 Wellington Management 联合领投，这也是 Wellington Management 首次投资 AI 推理赛道。
Baseten 在 20 家云服务商的算力之上搭建软件层，帮助企业微调和运行开源模型，当前客户包括编程助手 Cursor、Mercor 和 OpenEvidence。随着 DeepSeek、Kimi 以及英伟达 Nemotron 等开源模型性能直逼闭源前沿模型，企业开始转向混合架构以控制成本。Baseten 首席执行官 Tuhin Srivastava 表示，在特定任务中改用开源模型，成本仅为闭源模型的 30%。
开源模型爆发拉动了对底层算力的强劲需求，Baseten 营收也随之暴增。截至 2026 年第一季度末，年化经常性收入已从季度初的 2 亿美元增长至 6 亿美元，比去年同期翻了 20 倍。不过，Baseten 依靠向云巨头租用 GPU 再转售，面临毛利率被挤压的风险。即便面临利润隐忧，通常表现谨慎的机构投资人 Wellington Management 依然入局，完成了在 AI 推理市场的首笔投资，被业内视为算力中介赛道具备持久生命力的信号。
信源：https://www.wsj.com/tech/ai/the-13-billion-ai-startup-betting-on-cheaper-alternatives-to-openai-anthropic-b9679603
AI 推理服务商 Baseten 正在敲定新一轮 15 亿美元融资。相比三个月前谈判中拟以 110 亿美元估值融资 10 亿美元的方案，最终确定的融资规模扩大了 5 亿美元。估值也调整为双层结构，部分投资者按 110 亿美元估值认购，另一部分按 130 亿美元估值跟投。本轮由 Altimeter Capital、Conviction、Spark Capital、Sands Capital 与 Wellington Management 联合领投，这也是 Wellington Management 首次投资 AI 推理赛道。
Baseten 在 20 家云服务商的算力之上搭建软件层，帮助企业微调和运行开源模型，当前客户包括编程助手 Cursor、Mercor 和 OpenEvidence。随着 DeepSeek、Kimi 以及英伟达 Nemotron 等开源模型性能直逼闭源前沿模型，企业开始转向混合架构以控制成本。Baseten 首席执行官 Tuhin Srivastava 表示，在特定任务中改用开源模型，成本仅为闭源模型的 30%。
开源模型爆发拉动了对底层算力的强劲需求，Baseten 营收也随之暴增。截至 2026 年第一季度末，年化经常性收入已从季度初的 2 亿美元增长至 6 亿美元，比去年同期翻了 20 倍。不过，Baseten 依靠向云巨头租用 GPU 再转售，面临毛利率被挤压的风险。即便面临利润隐忧，通常表现谨慎的机构投资人 Wellington Management 依然入局，完成了在 AI 推理市场的首笔投资，被业内视为算力中介赛道具备持久生命力的信号。
信源：https://www.wsj.com/tech/ai/the-13-billion-ai-startup-betting-on-cheaper-alternatives-to-openai-anthropic-b9679603
The Wall Street Journal
Exclusive | The $13 Billion AI Startup Betting on Cheaper Alternatives to OpenAI, Anthropic
Baseten, part of a growing Silicon Valley ecosystem offering services to enable low-cost AI models, is raising $1.5 billion in a new round.
「干净代码」与逐行审查已死，Ramp主管宣告AI终结传统软件开发
Ramp 应用 AI 主管 Rahul Gupta 指出，下一代大模型正将编程转变为「自然语言到代码的解释器」，传统软件开发逻辑正面临根本性颠覆。Gupta 警告，随着即将推出的 Anthropic Fable 等模型在代码正确率上跨越问题与输出的复杂度，死守「干净代码」与低风险区域的人工逐行审查已无必要，逐行审查应仅保留给涉及安全与资金的高风险核心模块，软件开发的重点必须转向系统性的实证验证与主动拥抱技术债务。
在新的开发范式下，AI 极大地降低了重构成本，合理的抽象与完美架构正变得不再重要。开发团队可以接受增加 50% 冗余代码来换取 5% 的性能提升，将累积的技术债务直接留给后续更智能的模型去维护。Gupta 指出，软件交付的瓶颈已全面转移到「评审与合并」环节。对于低风险模块，应当像对待神经网络一样直接视作「黑盒」，通过隔离沙箱并完全切断对数据库与网络的外部出站访问权限，在 CI 流程中进行成千上万次真实输入的实证检验，来替代低效的手工逐行逻辑验证。
Claude Code 之父 Boris Cherny 对 Gupta 的颠覆性言论表示强烈赞同，并补充称，既然模型已经能够正确生成绝大部分任务代码，人类的核心工作转变为大模型与验证器设计闭环运行的安全防护网，不断消除工程流程中的各种系统瓶颈。
信源：https://x.com/rahulgs/status/2067257255825686880
Ramp 应用 AI 主管 Rahul Gupta 指出，下一代大模型正将编程转变为「自然语言到代码的解释器」，传统软件开发逻辑正面临根本性颠覆。Gupta 警告，随着即将推出的 Anthropic Fable 等模型在代码正确率上跨越问题与输出的复杂度，死守「干净代码」与低风险区域的人工逐行审查已无必要，逐行审查应仅保留给涉及安全与资金的高风险核心模块，软件开发的重点必须转向系统性的实证验证与主动拥抱技术债务。
在新的开发范式下，AI 极大地降低了重构成本，合理的抽象与完美架构正变得不再重要。开发团队可以接受增加 50% 冗余代码来换取 5% 的性能提升，将累积的技术债务直接留给后续更智能的模型去维护。Gupta 指出，软件交付的瓶颈已全面转移到「评审与合并」环节。对于低风险模块，应当像对待神经网络一样直接视作「黑盒」，通过隔离沙箱并完全切断对数据库与网络的外部出站访问权限，在 CI 流程中进行成千上万次真实输入的实证检验，来替代低效的手工逐行逻辑验证。
Claude Code 之父 Boris Cherny 对 Gupta 的颠覆性言论表示强烈赞同，并补充称，既然模型已经能够正确生成绝大部分任务代码，人类的核心工作转变为大模型与验证器设计闭环运行的安全防护网，不断消除工程流程中的各种系统瓶颈。
信源：https://x.com/rahulgs/status/2067257255825686880
X (formerly Twitter)
rahul (@rahulgs) on X
1. as a mental model it is more correct to think of fable+ class models as english -> code interpreters - converts your idea into code into "correct" code regardless of problem complexity and output complexity (diff size). Fable 5 will be the worst of this…
❤1
米哈游原国际化总裁金雯怡加盟月之暗面，全面负责Kimi业务线商业化
米哈游原国际化总裁金雯怡加入国内大模型初创公司月之暗面（Moonshot AI），全面负责旗下核心产品 Kimi 智能助手的业务线。
金雯怡于 2017 年加入米哈游，从零搭建海外发行、本地化运营以及海外社群体系。在职期间，主导建立海外独立品牌 HoYoverse，推动《崩坏 3》覆盖 200 多个国家与地区。2020 年《原神》全球上线首月斩获 2.45 亿美元，登顶全球手游收入榜，随后的《崩坏：星穹铁道》与《绝区零》也成功落地海外。多款核心游戏的海外推广，推动米哈游从本土二次元厂商转型为全球化游戏 IP 公司。4 月底，金雯怡宣布离职，业务交接给前哔哩哔哩副总裁王宇阳。
月之暗面目前正处于从技术积累转向商业化落地的阶段。引入在出海与全球化运营领域有近 10 年经验的金雯怡，显示月之暗面正加速布局 Kimi 商业化与海外市场拓展。
信源：https://mp.weixin.qq.com/s/2egr6sCg1mek4nsaJYjBeA
米哈游原国际化总裁金雯怡加入国内大模型初创公司月之暗面（Moonshot AI），全面负责旗下核心产品 Kimi 智能助手的业务线。
金雯怡于 2017 年加入米哈游，从零搭建海外发行、本地化运营以及海外社群体系。在职期间，主导建立海外独立品牌 HoYoverse，推动《崩坏 3》覆盖 200 多个国家与地区。2020 年《原神》全球上线首月斩获 2.45 亿美元，登顶全球手游收入榜，随后的《崩坏：星穹铁道》与《绝区零》也成功落地海外。多款核心游戏的海外推广，推动米哈游从本土二次元厂商转型为全球化游戏 IP 公司。4 月底，金雯怡宣布离职，业务交接给前哔哩哔哩副总裁王宇阳。
月之暗面目前正处于从技术积累转向商业化落地的阶段。引入在出海与全球化运营领域有近 10 年经验的金雯怡，显示月之暗面正加速布局 Kimi 商业化与海外市场拓展。
信源：https://mp.weixin.qq.com/s/2egr6sCg1mek4nsaJYjBeA
❤1
钉钉新CEO陈宇森发布首封全员信，启动向Agent友好的「双引擎」AI改造
钉钉新任 CEO 陈宇森（落款为「宇森 悟空事业部 CEO」）上任一周后发布首封内部信，对悟空事业部进行全面组织调整。陈宇森将钉钉和「悟空」两个产品定位为「双引擎」，提出要对过去已有的业务全面做好 AI 化改造，使其成为未来 Agent 友好的基础设施。
在组织架构调整中，主要变动包括：
1. 核心平台业务部：由朱鸿（此前为钉钉 CTO，2025 年随前 CEO 无招一同回归阿里）负责，向陈宇森汇报，核心负责钉钉等业务。
2. 悟空团队：整合悟空与 AI Agent 平台 MuleRun，由束骏亮（前 MuleRun CTO、蜚语安全创始人，2025 年与陈宇森等联合创立 MuleRun）负责，向陈宇森汇报。
3. 市场部：由李昕瑜（前 MuleRun CMO）负责，向陈宇森汇报，统筹悟空的商业化运营。
4. 客户发展部：由杨猛（工号 598 号的老阿里人，原钉钉全球商业总裁）负责，整合直销、电销、服务商、交付等团队。
5. 公司信息技术部：新成立部门，由邓悟负责，旨在优化迭代业务系统，让一切系统易于被 Agent 使用。
此外，去年推出的 AI 硬件与 AI 听记等 AI 原生产品予以保留，AI 硬件部门由任卿负责，后续将增强投入并推进国际化。
业务进展方面，悟空与 MuleRun 的整合是陈宇森出任 CEO 时的定调。据悉，MuleRun 自今年 5 月中旬正式商业化，一个月内 ARR（年度经常性收入）已突破 3 亿元人民币。管理作息上，陈宇森对作息进行了松绑，由各业务线自主决定下班时间，不再开设晚会，没有硬性加班要求，不少员工本周已开始休假。
信源：https://mp.weixin.qq.com/s/2IsF4C682LPWPMHJ64NR_w
钉钉新任 CEO 陈宇森（落款为「宇森 悟空事业部 CEO」）上任一周后发布首封内部信，对悟空事业部进行全面组织调整。陈宇森将钉钉和「悟空」两个产品定位为「双引擎」，提出要对过去已有的业务全面做好 AI 化改造，使其成为未来 Agent 友好的基础设施。
在组织架构调整中，主要变动包括：
1. 核心平台业务部：由朱鸿（此前为钉钉 CTO，2025 年随前 CEO 无招一同回归阿里）负责，向陈宇森汇报，核心负责钉钉等业务。
2. 悟空团队：整合悟空与 AI Agent 平台 MuleRun，由束骏亮（前 MuleRun CTO、蜚语安全创始人，2025 年与陈宇森等联合创立 MuleRun）负责，向陈宇森汇报。
3. 市场部：由李昕瑜（前 MuleRun CMO）负责，向陈宇森汇报，统筹悟空的商业化运营。
4. 客户发展部：由杨猛（工号 598 号的老阿里人，原钉钉全球商业总裁）负责，整合直销、电销、服务商、交付等团队。
5. 公司信息技术部：新成立部门，由邓悟负责，旨在优化迭代业务系统，让一切系统易于被 Agent 使用。
此外，去年推出的 AI 硬件与 AI 听记等 AI 原生产品予以保留，AI 硬件部门由任卿负责，后续将增强投入并推进国际化。
业务进展方面，悟空与 MuleRun 的整合是陈宇森出任 CEO 时的定调。据悉，MuleRun 自今年 5 月中旬正式商业化，一个月内 ARR（年度经常性收入）已突破 3 亿元人民币。管理作息上，陈宇森对作息进行了松绑，由各业务线自主决定下班时间，不再开设晚会，没有硬性加班要求，不少员工本周已开始休假。
信源：https://mp.weixin.qq.com/s/2IsF4C682LPWPMHJ64NR_w
Manus年化营收暴增至5亿美元，早期中资机构正筹资20亿美元从Meta赎回
据《The Information》报道，受中国监管机构责令逆转交易的影响，AI 智能体初创公司 Manus 的早期中资背景投资人计划以 Meta 收购时的 20 亿美元原价，从 Meta Platforms 手中赎回该公司。尽管该逆转令在创业圈引发对海外并购和融资通路受阻的担忧，但对早期投资者而言却是一个意外之喜：由于自去年 12 月被 Meta 收购以来，Manus 的订阅收入录得爆发式增长，其年化经常性收入（ARR）已从收购前的 1 亿美元飙升至最近几周的 4 亿至 5 亿美元。这意味着投资者将以极具性价比的「折扣价」拿回一家更具估值想象力的公司。
今年 4 月，在经历数月调查后，中国政府因 Manus 交易未提前申报且担忧将 AI 核心技术及人才转移给地缘政治对手而责令取消该交易。目前，Meta 已在内部将 Manus 的业务进行隔离，并停止了数据共享。在资金安排上，红杉中国（HSG）、真格基金（ZhenFund）和腾讯将参与赎回，且计划动用新资金（fresh capital）买回 Meta 的股份，而不要求 LP 退回已分发的收益。由于地缘和监管限制，曾领投 7500 万美元的美国顶级风投 Benchmark 将彻底退出此次赎回，其原持有的份额或将被中资机构瓜分。
为了适应新的监管环境并保留投资人利益，Manus 正在考虑重整公司架构，将其转变为一家在中国境内注册的合资公司（JV）。这一举措不仅允许投资者以美元形式继续持有股份，还旨在为未来申请在香港进行首次公开募股（IPO）铺平道路。随着监管机构对科技企业使用红筹或 VIE 架构绕过境内审查的容忍度持续走低，此番境内注册架构调整被视为 Manus 获得中国监管机构批准其香港 IPO 的关键合规步骤。
信源：https://www.theinformation.com/articles/manus-revenue-soars-original-investors-move-reverse-meta-deal
据《The Information》报道，受中国监管机构责令逆转交易的影响，AI 智能体初创公司 Manus 的早期中资背景投资人计划以 Meta 收购时的 20 亿美元原价，从 Meta Platforms 手中赎回该公司。尽管该逆转令在创业圈引发对海外并购和融资通路受阻的担忧，但对早期投资者而言却是一个意外之喜：由于自去年 12 月被 Meta 收购以来，Manus 的订阅收入录得爆发式增长，其年化经常性收入（ARR）已从收购前的 1 亿美元飙升至最近几周的 4 亿至 5 亿美元。这意味着投资者将以极具性价比的「折扣价」拿回一家更具估值想象力的公司。
今年 4 月，在经历数月调查后，中国政府因 Manus 交易未提前申报且担忧将 AI 核心技术及人才转移给地缘政治对手而责令取消该交易。目前，Meta 已在内部将 Manus 的业务进行隔离，并停止了数据共享。在资金安排上，红杉中国（HSG）、真格基金（ZhenFund）和腾讯将参与赎回，且计划动用新资金（fresh capital）买回 Meta 的股份，而不要求 LP 退回已分发的收益。由于地缘和监管限制，曾领投 7500 万美元的美国顶级风投 Benchmark 将彻底退出此次赎回，其原持有的份额或将被中资机构瓜分。
为了适应新的监管环境并保留投资人利益，Manus 正在考虑重整公司架构，将其转变为一家在中国境内注册的合资公司（JV）。这一举措不仅允许投资者以美元形式继续持有股份，还旨在为未来申请在香港进行首次公开募股（IPO）铺平道路。随着监管机构对科技企业使用红筹或 VIE 架构绕过境内审查的容忍度持续走低，此番境内注册架构调整被视为 Manus 获得中国监管机构批准其香港 IPO 的关键合规步骤。
信源：https://www.theinformation.com/articles/manus-revenue-soars-original-investors-move-reverse-meta-deal
The Information
Manus’ Revenue Soars as Original Investors Move to Reverse Meta Deal
The early Chinese backers of AI firm Manus are planning to buy the firm back from Meta Platforms at the $2 billion price Meta paid, in response to a Chinese government order that the deal be reversed, according to two people with direct knowledge of the matter.…
唐杰回应马斯克：中国大模型赶超Claude Fable 5不用等到2027年
针对 X 上对于中国模型何时达到 Claude Fable 5 水平的讨论，埃隆·马斯克预测可能是在 2027 年第一季度。智谱联合创始人兼首席科学家唐杰反驳称「不会花那么长时间」，暗示以智谱为代表的国内大模型有望在今年内实现跨越。
要想达成这个目标，不仅要在预训练阶段把模型推向万亿级参数，而且还要在后训练阶段让模型能够（部分）跑通自我训练。
信源：https://x.com/jietang/status/2067580270078030088
针对 X 上对于中国模型何时达到 Claude Fable 5 水平的讨论，埃隆·马斯克预测可能是在 2027 年第一季度。智谱联合创始人兼首席科学家唐杰反驳称「不会花那么长时间」，暗示以智谱为代表的国内大模型有望在今年内实现跨越。
要想达成这个目标，不仅要在预训练阶段把模型推向万亿级参数，而且还要在后训练阶段让模型能够（部分）跑通自我训练。
信源：https://x.com/jietang/status/2067580270078030088
❤3
微博开源VibeThinker-3B，3B小模型冲进前沿推理梯队
新浪微博团队日前开源了 30 亿参数的推理模型 VibeThinker-3B。
模型在数学与编程等任务上达到前沿水平，部分指标接近或超越 DeepSeek V3.2、GLM-5 和 Gemini 3 Pro 等大规模旗舰模型。
VibeThinker-3B 基于 Qwen2.5-Coder-3B 改造，采用 Spectrum-to-Signal 流程进行二次训练：模型先从易到难做题积累解题谱系，再通过强化学习放大正确解法信号，训练全程使用 64K 大思考空间防止中断推理步骤。
针对数学与编程，模型一方面将自己做对的优秀步骤收集起来进行自蒸馏模仿，另一方面在答题时引入步骤级评估来进行自我核对。自我核对机制最终将 AIME26 数学测试得分从 94.3 提升至 97.1。
研发团队在报告中提出「参数压缩-覆盖假设」，认为逻辑推理属于高度可压缩的能力，主要依赖规则和纠错，用 3B 小模型就能跑出顶尖效果；而开放领域知识则需要海量参数去死记硬背。受限于参数规模，VibeThinker-3B 对常识性开放知识的覆盖能力仍弱于大模型。
团队强调，研发目的并非用小模型替代大模型，而是探索紧凑型模型在明确验证机制下的能力边界。
信源：https://arxiv.org/abs/2606.16140
新浪微博团队日前开源了 30 亿参数的推理模型 VibeThinker-3B。
模型在数学与编程等任务上达到前沿水平，部分指标接近或超越 DeepSeek V3.2、GLM-5 和 Gemini 3 Pro 等大规模旗舰模型。
VibeThinker-3B 基于 Qwen2.5-Coder-3B 改造，采用 Spectrum-to-Signal 流程进行二次训练：模型先从易到难做题积累解题谱系，再通过强化学习放大正确解法信号，训练全程使用 64K 大思考空间防止中断推理步骤。
针对数学与编程，模型一方面将自己做对的优秀步骤收集起来进行自蒸馏模仿，另一方面在答题时引入步骤级评估来进行自我核对。自我核对机制最终将 AIME26 数学测试得分从 94.3 提升至 97.1。
研发团队在报告中提出「参数压缩-覆盖假设」，认为逻辑推理属于高度可压缩的能力，主要依赖规则和纠错，用 3B 小模型就能跑出顶尖效果；而开放领域知识则需要海量参数去死记硬背。受限于参数规模，VibeThinker-3B 对常识性开放知识的覆盖能力仍弱于大模型。
团队强调，研发目的并非用小模型替代大模型，而是探索紧凑型模型在明确验证机制下的能力边界。
信源：https://arxiv.org/abs/2606.16140
arXiv.org
VibeThinker-3B: Exploring the Frontier of Verifiable Reasoning in...
This technical report introduces VibeThinker-3B, a compact dense model with 3B parameters developed to investigate how far verifiable reasoning can be pushed within a strictly small-model regime....
动察Beating AI News
唐杰回应马斯克：中国大模型赶超Claude Fable 5不用等到2027年 针对 X 上对于中国模型何时达到 Claude Fable 5 水平的讨论，埃隆·马斯克预测可能是在 2027 年第一季度。智谱联合创始人兼首席科学家唐杰反驳称「不会花那么长时间」，暗示以智谱为代表的国内大模型有望在今年内实现跨越。 要想达成这个目标，不仅要在预训练阶段把模型推向万亿级参数，而且还要在后训练阶段让模型能够（部分）跑通自我训练。 信源：https://x.com/jietang/status/2067580270078030088
马斯克：中国大模型跑分易追，但实用智能与收入难赶超
马斯克在 X 上回复智谱联合创始人兼首席科学家唐杰表示，中国大模型在跑分上追赶容易，但在真实实用性上，即使在 2027 年第一季度追平也已非常不易。真正的差距在于大模型能否转化为实际商业收入，而非仅仅在基准测试中取得高分。Anthropic 正确地将开发重心放在了最大化实用智能上，实用智能虽无法在跑分中呈现，却在营收中得到了明确体现。
此前，针对智谱新发布的开源大模型 GLM-5.2，马斯克预测中国 AI 模型将在 2027 年第一季度达到 Anthropic 旗下 Claude Fable 5 级别的能力，唐杰反驳称不需要那么久。
截至 2026 年 6 月，Anthropic 的年化经常性收入（ARR）已达到 470 亿美元，相较于 2024 年底的 10 亿美元实现暴增。
信源：https://x.com/elonmusk/status/2067671903288864865
马斯克在 X 上回复智谱联合创始人兼首席科学家唐杰表示，中国大模型在跑分上追赶容易，但在真实实用性上，即使在 2027 年第一季度追平也已非常不易。真正的差距在于大模型能否转化为实际商业收入，而非仅仅在基准测试中取得高分。Anthropic 正确地将开发重心放在了最大化实用智能上，实用智能虽无法在跑分中呈现，却在营收中得到了明确体现。
此前，针对智谱新发布的开源大模型 GLM-5.2，马斯克预测中国 AI 模型将在 2027 年第一季度达到 Anthropic 旗下 Claude Fable 5 级别的能力，唐杰反驳称不需要那么久。
截至 2026 年 6 月，Anthropic 的年化经常性收入（ARR）已达到 470 亿美元，相较于 2024 年底的 10 亿美元实现暴增。
信源：https://x.com/elonmusk/status/2067671903288864865
前白宫AI顾问Dean Ball加盟OpenAI执掌前沿政策新团队
前白宫 AI 顾问、美国创新基金会（FAI）高级研究员 Dean Ball 宣布，将于 7 月 6 日正式加盟 OpenAI，出任新成立的「战略未来」（Strategic Futures）团队负责人。Ball 将直接向 OpenAI 首席战略官 Jason Kwon 汇报，同时保留在 FAI 的非驻校高级研究员身份。
新成立的「战略未来」团队是一个小型且拥有高度自主权的政策团队，核心工作是塑造前沿 AI 政策与内部治理。具体业务范围涵盖灾难性风险防范、大模型递归自我改进、技术对劳动力市场的冲击，以及前沿实验室与美国联邦政府等利益相关方的沟通。这支团队的职责横跨外部政策倡议与内部机制设计，工作需要与技术研发人员、安全防范（Preparedness）团队、法律团队以及国家安全与全球事务团队协同推进。
Dean Ball 曾任白宫 AI 顾问，并参与了美国政府 AI 行动计划的起草工作。Ball 在个人博客中表示，加入 OpenAI 源于对前沿 AI 治理的判断。Ball 认为，AI 在需要监管的同时也将成为一种全新的治理技术，未来最关键的 AI 治理决策很可能在实验室内部而非外部机构做出。要想推动实质性的 AI 政策研究，必须进入开发一线了解技术底层。
「战略未来」团队目前正在招募跨学科成员。Ball 透露，虽然团队的工作紧密依赖底层技术理解，但并不强制要求求职者具备机器学习或 AI 政策的专业背景。Ball 希望搭建一个具备多元学科视角和异质知识结构的团队，目前已向外部开放沟通渠道。
信源：https://hyperdimensional.co/p/that-untravelld-world
前白宫 AI 顾问、美国创新基金会（FAI）高级研究员 Dean Ball 宣布，将于 7 月 6 日正式加盟 OpenAI，出任新成立的「战略未来」（Strategic Futures）团队负责人。Ball 将直接向 OpenAI 首席战略官 Jason Kwon 汇报，同时保留在 FAI 的非驻校高级研究员身份。
新成立的「战略未来」团队是一个小型且拥有高度自主权的政策团队，核心工作是塑造前沿 AI 政策与内部治理。具体业务范围涵盖灾难性风险防范、大模型递归自我改进、技术对劳动力市场的冲击，以及前沿实验室与美国联邦政府等利益相关方的沟通。这支团队的职责横跨外部政策倡议与内部机制设计，工作需要与技术研发人员、安全防范（Preparedness）团队、法律团队以及国家安全与全球事务团队协同推进。
Dean Ball 曾任白宫 AI 顾问，并参与了美国政府 AI 行动计划的起草工作。Ball 在个人博客中表示，加入 OpenAI 源于对前沿 AI 治理的判断。Ball 认为，AI 在需要监管的同时也将成为一种全新的治理技术，未来最关键的 AI 治理决策很可能在实验室内部而非外部机构做出。要想推动实质性的 AI 政策研究，必须进入开发一线了解技术底层。
「战略未来」团队目前正在招募跨学科成员。Ball 透露，虽然团队的工作紧密依赖底层技术理解，但并不强制要求求职者具备机器学习或 AI 政策的专业背景。Ball 希望搭建一个具备多元学科视角和异质知识结构的团队，目前已向外部开放沟通渠道。
信源：https://hyperdimensional.co/p/that-untravelld-world
www.hyperdimensional.co
That Untravell'd World
Some career news
杨立昆直言xAI失败，指出人才难招且被迫出租算力
前 Meta 首席 AI 科学家、世界模型公司 AMI Labs 联合创始人杨立昆（Yann LeCun）在接受 CNBC 采访时，直言埃隆·马斯克创立的 AI 公司 xAI「在某种程度上是失败的」，并预测 xAI 无法在前沿领域与 OpenAI 和 Anthropic 竞争。
LeCun 指出，因除马斯克外的所有初始联合创始人团队已悉数离职，加之马斯克此前对团队对待方式不佳，导致其目前极难招募到顶尖 AI 人才。
面临巨大的成本压力，xAI 目前正在向 Google 和 Anthropic 等竞争对手出租其位于田纳西州孟菲斯的 Colossus（1和2）数据中心算力，以回收庞大的基础设施建造开销。财务数据进一步印证了这一压力：在截至 2026 年 3 月 31 日 的第一季度中，包含 xAI 在内的 SpaceX AI 业务板块运营亏损高达 25 亿美元。
高昂的算力和运营成本反映了整个 AI 行业的共同困境。LeCun 警示，当前商业模式过度依赖投资人资金来补贴用户，若 OpenAI 与 Anthropic 等头部实验室无法大幅提高服务价格或降低运营成本，整个 AI 行业可能遭遇「大泡沫爆炸」（Big Bubble Explosion）。
LeCun 同时指出，现有的 LLM（大语言模型）路线由于成本过高且仅靠模式预测，无法带来真正通用、可靠的智能体（Agent），未来的关键在于世界模型（World Models）。其创办的 AMI Labs 已于 2026 年 3 月以 35 亿美元投前估值募集 10 亿美元，全力用于相关技术的研究。
信源：https://www.cnbc.com/2026/06/18/yann-lecun-elon-musk-xai-failure-ai-labs-bubble-risk.html
前 Meta 首席 AI 科学家、世界模型公司 AMI Labs 联合创始人杨立昆（Yann LeCun）在接受 CNBC 采访时，直言埃隆·马斯克创立的 AI 公司 xAI「在某种程度上是失败的」，并预测 xAI 无法在前沿领域与 OpenAI 和 Anthropic 竞争。
LeCun 指出，因除马斯克外的所有初始联合创始人团队已悉数离职，加之马斯克此前对团队对待方式不佳，导致其目前极难招募到顶尖 AI 人才。
面临巨大的成本压力，xAI 目前正在向 Google 和 Anthropic 等竞争对手出租其位于田纳西州孟菲斯的 Colossus（1和2）数据中心算力，以回收庞大的基础设施建造开销。财务数据进一步印证了这一压力：在截至 2026 年 3 月 31 日 的第一季度中，包含 xAI 在内的 SpaceX AI 业务板块运营亏损高达 25 亿美元。
高昂的算力和运营成本反映了整个 AI 行业的共同困境。LeCun 警示，当前商业模式过度依赖投资人资金来补贴用户，若 OpenAI 与 Anthropic 等头部实验室无法大幅提高服务价格或降低运营成本，整个 AI 行业可能遭遇「大泡沫爆炸」（Big Bubble Explosion）。
LeCun 同时指出，现有的 LLM（大语言模型）路线由于成本过高且仅靠模式预测，无法带来真正通用、可靠的智能体（Agent），未来的关键在于世界模型（World Models）。其创办的 AMI Labs 已于 2026 年 3 月以 35 亿美元投前估值募集 10 亿美元，全力用于相关技术的研究。
信源：https://www.cnbc.com/2026/06/18/yann-lecun-elon-musk-xai-failure-ai-labs-bubble-risk.html
CNBC
Godfather of AI blasts Musk's xAI as 'failure,' says labs are risking a 'big bubble explosion'
Yann LeCun's comments renew a long-running spat with Musk and cast doubt over valuations of some of the world's biggest AI companies.
OpenAI 推出 Codex「录制与复现」功能，可将演示工作流直接转化为 AI 技能
OpenAI 为其编码智能体 Codex 引入了一项名为「录制与复现」的新功能。该功能允许用户向 Codex 演示一次日常的重复性工作流程（例如填写报销单或提交休假申请），Codex 随后能够将该演示转化为可供检查和编辑的结构化技能，以便日后自动复用。用户可自主控制录制的开始与停止。
该功能目前仅在 macOS 客户端提供，且属于可选配置。在初始发布阶段，其可用地区排除了欧洲经济区（EEA）、英国和瑞士；此外，用户或其管理员必须开启「电脑使用」（Computer Use）权限才可使用该功能。
信源：https://x.com/OpenAIDevs/status/2067681320281723113
OpenAI 为其编码智能体 Codex 引入了一项名为「录制与复现」的新功能。该功能允许用户向 Codex 演示一次日常的重复性工作流程（例如填写报销单或提交休假申请），Codex 随后能够将该演示转化为可供检查和编辑的结构化技能，以便日后自动复用。用户可自主控制录制的开始与停止。
该功能目前仅在 macOS 客户端提供，且属于可选配置。在初始发布阶段，其可用地区排除了欧洲经济区（EEA）、英国和瑞士；此外，用户或其管理员必须开启「电脑使用」（Computer Use）权限才可使用该功能。
信源：https://x.com/OpenAIDevs/status/2067681320281723113
X (formerly Twitter)
OpenAI Developers (@OpenAIDevs) on X
Show Codex a workflow once. Reuse it as a skill.
Record & Replay lets you show Codex a recurring task, like filing an expense report or submitting a time-off request.
Codex turns that demo into an inspectable, editable skill.
You control when recording…
Record & Replay lets you show Codex a recurring task, like filing an expense report or submitting a time-off request.
Codex turns that demo into an inspectable, editable skill.
You control when recording…
终端变交互画布：Anthropic推出Claude Code版Artifacts
Anthropic 为 Claude Code（包含 CLI 命令行及桌面应用）推出 Artifacts 预览支持（面向 Claude Team 和 Enterprise 组织开放 Beta 测试）。该功能将 Artifacts 的实时交互体验从 Web 端延伸至本地终端，允许开发者将长期的终端会话进程（如故障排查、服务重构等）一键捕获并转化为实时的交互式网页。
依托包含本地代码库、已连接监控工具（Connectors）以及对话历史在内的完整会话上下文，Claude Code 无需任何配置即可自动整合测试失败、关联函数、错误峰值及根因推理，一键生成诸如 PR 演示、系统依赖图、动态仪表板以及可自动填写的发布清单。
为提升团队协同效率，生成的网页支持原地刷新，团队成员访问同一链接即可实时同步开发进展，并提供完整的版本历史回溯。在安全合规方面，所有生成的 Artifacts 默认仅个人可见，且强制要求组织身份验证，严禁向组织外部公开，企业管理员可设置留存策略并进行审计。
信源：https://x.com/claudeai/status/2067671912038240487
Anthropic 为 Claude Code（包含 CLI 命令行及桌面应用）推出 Artifacts 预览支持（面向 Claude Team 和 Enterprise 组织开放 Beta 测试）。该功能将 Artifacts 的实时交互体验从 Web 端延伸至本地终端，允许开发者将长期的终端会话进程（如故障排查、服务重构等）一键捕获并转化为实时的交互式网页。
依托包含本地代码库、已连接监控工具（Connectors）以及对话历史在内的完整会话上下文，Claude Code 无需任何配置即可自动整合测试失败、关联函数、错误峰值及根因推理，一键生成诸如 PR 演示、系统依赖图、动态仪表板以及可自动填写的发布清单。
为提升团队协同效率，生成的网页支持原地刷新，团队成员访问同一链接即可实时同步开发进展，并提供完整的版本历史回溯。在安全合规方面，所有生成的 Artifacts 默认仅个人可见，且强制要求组织身份验证，严禁向组织外部公开，企业管理员可设置留存策略并进行审计。
信源：https://x.com/claudeai/status/2067671912038240487
X (formerly Twitter)
Claude (@claudeai) on X
New in Claude Code: Artifacts.
Interactive pages built from your session, like a PR walkthrough or a living project dashboard, shared with your team at a private link.
Available in beta on Team and Enterprise plans.
Interactive pages built from your session, like a PR walkthrough or a living project dashboard, shared with your team at a private link.
Available in beta on Team and Enterprise plans.