开发者发布面向法律约束的编程语言Astra for Law
开发者vertigoruntime于2026年9月17日发布编程语言Astra for Law。该语言旨在通过法律规范与形式化证明机制约束AI系统行为。 Astra for Law配备专用编译器,可将代码编译为原生机器码,在单核环境下运行性能接近C语言。同时支持多核CPU及GPU并行执行。
开发者vertigoruntime于2026年9月17日发布编程语言Astra for Law。该语言旨在通过法律规范与形式化证明机制约束AI系统行为。 Astra for Law配备专用编译器,可将代码编译为原生机器码,在单核环境下运行性能接近C语言。同时支持多核CPU及GPU并行执行。
Anthropic 公开一套测量框架,披露三项内部指标以反映其 AI 系统在自身研发流程中的实际参与程度。截至 2026 年 8 月,Claude 在 Anthropic 26% 的 AI 研发工作中担任主导角色,90% 以上的工作达到人机协作级别。 该框架还显示,Anthropic 内部平台当前部署约 3 万个 AI Agent,在累计超 10 亿次自主决策中,0.002% 被实时监控系统拦截;2026 年 7 月某一周内,约 6% 的...
Anthropic Research 于 2026 年 9 月 17 日发布一项研究,探讨 Claude 系列大模型在生物分子建模领域的应用表现与提升效果。 该研究聚焦于 Claude 在蛋白质结构预测、分子相互作用模拟等任务中的辅助能力,未披露具体技术细节或量化指标。 研究原文发布于 Anthropic 官方网站,属基础能力探索性质,非产品功能更新或商业化落地公告。
Anthropic 9月17日消息,Anthropic 宣布启动生命科学验证计划(Life Sciences Verification Program, LSVP),面向学术实验室、生物技术初创公司、制药企业等机构开放 Mythos、Opus 和 Sonnet 系列模型的增强版访问权限。该计划采用分级授权机制,提供“标准使用”与“高风险使用”两类许可,前者适用于多数生物学研发场景,后者需针对特定项目单独申请并每半年复审。 LSVP 实施基于...
NVIDIA 官方消息,Pawprint Studio 开发的免费开放世界生物收集 RPG《Aniimo》已上线 GeForce NOW 云游戏平台。玩家可通过 Steam Deck、Firefox 浏览器及其他支持设备直接串流游玩,无需下载 45GB 安装包或占用本地存储。 游戏设定于虚构大陆 Idyll,玩家可捕捉名为 Aniimo 的生物,使用 Aniipod 设备与其 Twine(融合),获得形态与技能以解谜、战斗和探索,包括滑翔、...
GitHub 工程师 Stephen Toub 近日公开复盘了一项工程实践:团队利用 GitHub Copilot 智能体,在约 14.5 周内将 Copilot agent runtime 从 TypeScript/Node.js 全量迁移至 Rust。 此次迁移产出 832,378 行生产级 Rust 代码,AI 智能体承担了大部分编码工作,最终通过 128 个增量 Pull Request 合入主干,并实现持续发布。 项目未完全替代人...
OpenAI 9月16日消息,OpenAI 正式发布模型失准(misalignment)实例的跟踪、调查与披露新框架。该框架旨在系统化识别和公开模型行为偏离设计意图的情况。 同期,OpenAI 公开六份失准报告,内容基于过去六个月的内部观察与分析。报告涵盖具体案例、调查过程及缓解措施,但未披露模型版本或部署场景细节。 此举标志着 OpenAI 在提升大模型透明度与可问责性方面迈出实质性一步,相关框架与报告已在其官网公开。
xAI 宣布为 Grok Build 上线记忆功能,可在每轮对话结束后自动记录项目约定、关键决策及事实性信息,并在后续会话中调用。该功能按项目隔离存储,同时提供全局偏好集。 用户可通过命令 /memory 只读浏览已存记忆文件,或使用 /dream 将笔记自动归纳为主题化文档。当前对话中的显式指令始终优先于记忆内容,确保上下文控制权明确。
英伟达官方 9 月 16 日消息,英伟达 Vera Rubin NVL72 系统在 MLPerf Inference v6.1 基准测试中首次提交预览结果。该系统在 Qwen3 VL 和 DeepSeek R1 两项高负载推理任务中,分别实现最高 3.7 倍和 2.5 倍于 GB300 NVL72 的吞吐量。 同期公布的 GB300 NVL72 四机架(288 GPU)配置在 DeepSeek R1 离线场景中达到 99% 扩展效率,吞吐量...
OpenAI 为 ChatGPT Ads 推出多项 AI 驱动的新体验。Sponsored Agents 功能允许用户在点击广告后,与明确标识的商业赞助智能体进行对话,目前正于美国部分广告主中开展测试。 该功能已集成 HubSpot 与 Shopify 平台,支持广告主将业务系统与赞助智能体对接,以实现更直接的客户互动与服务响应。
英伟达(NVIDIA)、谷歌(Google)与Emerald AI于9月16日宣布共同发起成立AI能源管理联盟(AI Energy Management Alliance, AEMA)。该联盟为全球首个聚焦AI数据中心电力柔性管理的跨行业协作机制,旨在推动数据中心根据电网实时状态动态调节用电负荷。 AEMA强调技术中立与性能导向,核心目标包括明确设施在电网扰动、功率削减及紧急情况下的响应义务,统一技术标准、性能指标与运行数据共享规范,并建立...
Mistral 官方博客 9 月 16 日消息,Mistral 与 Mozilla 宣布达成合作,将 Mistral 的开源大模型集成至 Firefox 浏览器的“智能窗口”(Smart Window,Beta 版)功能中。该功能首批面向法国和北美用户开放,英国与德国预计将于今年晚些时候上线。 Firefox 智能窗口可辅助用户理解复杂搜索结果、回溯已切换的重要页面内容,并基于当前打开的标签页提供信息溯源支持。所有对话默认不保存于 Mozi...
英国曼彻斯特大学地球与环境科学系教授David Topping及其团队正基于NVIDIA Earth 2系列开源AI模型,构建高分辨率英国空气污染预测系统。该研究使用Isambard AI超算(配备5448颗NVIDIA GH200芯片)仅耗时两天即完成Earth 2 CorrDiff生成式降尺度模型的训练,实现2–3平方公里网格精度的全英污染模拟。 团队进一步集成Earth 2 StormCast模型,支持融合实时空气质量观测数据进行动态...
谷歌在其官方博客宣布推出 Gemini 3.8 Live 模型,重点引入“扩展思考”(Extended Thinking)能力,以增强复杂推理与多步任务处理表现。该版本进一步优化了实时交互与长上下文支持,适用于需要深度分析与动态响应的场景。具体上线时间与接入方式尚未公布。
安全公司 Strix 近日披露,在一次安全评估中,其仅用 25 分钟即成功获取 AI 工具平台 Baseten 的生产环境 GitHub 管理员权限。该事件细节由 Hacker News 用户 bearsyankees 公开讨论,并获 Strix 官方博客证实。 此次权限获取源于 GitHub Personal Access Token(PAT)配置缺陷,暴露了关键基础设施的访问风险。Strix 表示已向 Baseten 报告并协助修复。...
Salesforce与NVIDIA在Dreamforce大会上联合宣布推出Koa——其首个面向CRM场景的推理模型。该模型基于NVIDIA Nemotron 3 Super进行后训练,使用近27年积累的合成企业CRM数据,覆盖制造、金融、医疗、旅游等14个以上行业。 Koa完全运行于Salesforce自有基础设施内,模型权重由Salesforce自主控制,训练与推理过程均未使用任何客户数据。据称,其在Salesforce自建CRM Ben...
Google DeepMind 正式发布 Gemini 3.8 Live 与 Gemini 3.8 Live Extended Thinking 两款近实时语音对话模型。二者聚焦语音智能体能力与复杂任务执行,支持低延迟、高保真语音交互。 Gemini 3.8 Live 面向实时语音对话场景优化,而 Extended Thinking 版本进一步增强多步推理与长上下文处理能力。 官方未披露具体上线时间与访问方式,相关技术细节已在其博客公开。
NVIDIA官方9月15日消息,英伟达在加州圣克拉拉举行的AI基础设施峰会(AI Infra Summit)上公布多项AI工厂能效技术进展。公司超算与高性能计算副总裁Ian Buck强调,AI基础设施的衡量标准正从峰值性能转向“每兆瓦生成令牌数”(tokens per megawatt),并展示了DSX MaxLPS、Vera Rubin NVL72系统及Groq 3 LPX等全栈方案以优化功耗分配。 AI云服务商Lambda现场验证了DS...
NVIDIA 于 9 月 15 日发布 DSX(Data Center Systems eXpanded)平台系列技术,聚焦 AI 工厂整体能效优化。该平台包含 DSX MaxLPS、DSX Flex、DSX OS、DSX Sim 及参考设计等模块,旨在提升单位功耗下的令牌产出(tokens per watt)。 据云服务提供商 Lambda 验证,在搭载 HGX B200 GPU 服务器的 5 机架集群中,DSX MaxLPS 通过动态功...
Google 宣布其多语言 AI 技术目前已覆盖超 300 种语言,服务全球约 86% 的人口。同步发布的 TranslateGemma 是一款轻量级开源翻译模型,基于 Gemini 系列技术训练,支持 55 种语言,具备离线运行能力。
IBM 研究院在 Hugging Face 最新技术博文中指出,当前主流 AI 智能体评测普遍依赖 Mean@k(k次运行平均通过率),但该指标掩盖了结果不一致问题:一个在 AppWorld 基准上 Mean@5 达 77.4% 的 ReAct 智能体,仅在 53.0% 的任务上实现全部 5 次运行均成功,存在 24.4 个百分点的“一致性缺口”(consistency gap)。 研究团队提出新诊断工具 Consistency Analy...
NVIDIA 9月15日消息,美国费城儿童医院(CHOP)正基于开源医疗影像框架MONAI,将儿童心脏三维建模流程从原先耗时约4小时缩短至数秒。该技术整合CT、MRI及3D超声等现有影像数据,已用于先天性心脏病手术规划,并在该院实现常规临床应用。 目前全美逾20家儿童医院已部署类似心脏建模项目。波士顿儿童医院将建模应用于超半数心脏手术(年均约500例),CHOP预计2026年完成约200例建模。团队还结合NVIDIA Warp与开源物理引擎...
NVIDIA 官方博客 9月14日消息,Perplexity 推出本地化 AI 代理产品 Portable Computer,现已面向搭载 NVIDIA GeForce RTX 或 RTX PRO 显卡(显存≥24GB)的 Windows PC 开放使用。该工具基于本地运行的大模型(如 Qwen 3.8 27B),可在设备端完成多步任务规划与执行,敏感数据全程不离设备。 Portable Computer 支持与 Microsoft Out...
GitHub 日韩地区营销负责人 Tomoko Tanaka 分享了借助 GitHub Copilot 实现活动运营自动化的实践案例。该方案覆盖从活动策划、执行到会后跟进的全流程,无需编写代码即可完成任务编排与内容生成。 据公开分享,团队利用 Copilot 将重复性高、规则明确的运营工作转化为可复用的“运营即代码”(Marketing Ops as Code)流程,显著提升响应效率与执行一致性。
OpenAI 发布技术博文(系列上篇),介绍其自研在线存储平台 Habitat 的规模化演进。该平台当前每秒处理请求量超 7000 万,服务覆盖近 40 个地区,每周支持超 10 亿 ChatGPT 用户,管理数据总量逾 500PB。
OpenAI 正式推出 Agents API,为开发者提供托管式智能体运行环境。该 API 由 OpenAI 负责管理会话生命周期、任务编排、上下文压缩与恢复,应用方仅需提供工具集并指定执行环境。 Agents API 支持在安全沙箱中执行代码、编辑文件、连接 MCP 服务器及生成工件。调用按所选模型的 API 费率计费,无需自行维护底层基础设施。 官方文档显示,该 API 基于 Codex harness 构建,当前处于公开技术预览阶段。
OpenAI 正式发布 Agents API 公开测试版。该 API 将驱动 Codex 的 harness 与基础设施整合为单次调用接口,面向开发者开放。 Agents API 托管于云端,旨在简化智能体(agent)的构建与部署流程。目前处于公开测试阶段,开发者可通过官方渠道申请接入。 官方页面显示,此次发布聚焦于提升开发效率与系统集成能力,未披露具体商用时间表。
OpenAI 宣布在 API 中上线语音模型 GPT Live 1,支持全双工语音交互,即可同步实现语音输入与输出。 该模型前端语音层可独立调用,并支持将复杂推理及工具调用任务委派至 GPT 6 Astra 等后端大模型处理。 GPT Live 1 前端语音层按使用时长计费,定价为每分钟 0.05 美元。
英伟达正式推出面向 Robotaxi 的模块化全栈技术平台,涵盖 AI 模型训练、仿真验证与车载计算三大环节,采用三计算机架构:基于 DGX 系统的训练计算机、搭载 Omniverse 与 Cosmos 的仿真验证计算机,以及基于 DRIVE Hyperion 10 与双 DRIVE AGX Thor 芯片的车载计算系统。 该平台已应用于 Uber、Wayve、Mercedes Benz、Pony.ai、WeRide、Zoox 等全球主流...
Skild AI近日推出S1机器人基础模型,该模型基于NVIDIA物理AI技术栈构建,可仅凭一段视频演示即理解并执行此前未见过的长周期操作任务,无需权重更新或任务专属微调,采用上下文内学习(in context learning)方式。 S1已应用于植物栽种、煎饼制作、手冲咖啡及套件组装等多步骤任务,单次任务最长可持续10分钟。实测显示,其在新任务各步骤的成功率约66%,较同类系统提升超7倍;一段短视频示例的学习效果相当于约380次人工实操...