陶哲轩转发人类数学协会抵制 OpenAI 声明，引发 AI 与数学界争议
人类数学协会发布声明呼吁数学家抵制 OpenAI，陶哲轩在博客转载该声明。OpenAI 此前一次性发布 722 篇数学论文，但仅 162 篇主要结果经过计算机验证，且部分手稿因错误被撤下或修订。该协会要求成员不向商业 AI 公司提供技术劳动力，也不发表由 AI 生成的数学文本。
全部 AI 动态
全部 AI 动态
今日 3 条爱范儿AI 评分1212 The DecoderAI 评分1212 Anthropic Claude Science 绘制首张完整天空紫外光图
Anthropic 的 Claude Science 协调 AI 智能体，首次绘制出完整的天空紫外光地图。该工具通过局部重绘技术填补了 NASA GALEX 任务遗漏的区域，预测偏差约为 10%。此项目旨在展示 AI 如何接管研究人员无暇处理的繁琐数据工作，并作为教学材料使用。
量子位AI 评分1212 联想天禧TianxiCode配合DeepSeek-v4.1-Flash登顶SWE-bench-Live全球第一
联想天禧AI自研代码智能体框架TianxiCode配合DeepSeek-v4.1-Flash，在SWE-bench-Live评测中以71%问题解决率获全球第一并通过官方Verified认证。该架构具备跨文件检索、自主规划及测试驱动自愈能力，未来将集成至联想AI硬件产品中赋能开发者。
OpenAI News Sophos借助OpenAI Daybreak将威胁调查时间缩短96%
Sophos使用OpenAI的Daybreak产品，将网络威胁调查时间缩短了96%，并实现了52%的MDR（托管检测与响应）案件自动化。该方案在提升效率的同时保留了人工监督环节。
The DecoderAI 评分1212 OpenAI 揭露并封禁俄伊利用 ChatGPT 渗透正规媒体的影响力行动
OpenAI 揭露俄罗斯“Dark Clark”与伊朗“Bogus Bylines”两项影响力行动，并封禁涉事 ChatGPT 账号。俄方通过虚假智库在拉美散布涉乌虚假信息，被评级为 Breakout Scale 5 级；伊朗方利用七名假记者在全球发布近百篇涉美伊冲突文章。两者主要借助 AI 进行内部报告及多语言宣传适配。
OSCHINA 开源中国AI 评分1515 无人机袭击 Yandex 数据中心，两台 AI 超级计算机或受损
10月8日，乌克兰无人机袭击俄罗斯梁赞州 Sasovo 的 Yandex 数据中心，导致运营完全暂停。该中心托管数万台服务器及 Yandex 用于开发 AI 模型的三台超级计算机中的两台。Yandex 尚未说明这两台超级计算机是否受损。
量子位AI 评分1212 Google AMIE 研究登上《柳叶刀》：AI 有望改善医患关系
Google 与 BIDMC 合作的研究显示，诊断 AI 聊天机器人 AMIE 在急诊前评估中表现良好，其鉴别诊断结果与医生确诊吻合度达 90%。临床反馈表明，75% 的场景下 AI 摘要帮助医生提前准备接诊，超半数案例改变了诊疗思路。该成果首次登上《柳叶刀》主刊，证实 AI 具备缓解医护压力、改善医患关系的潜力。
OpenAI News LegalOn 将 Codex 成本降低 65% 并保持开发速度
LegalOn 将每日 Codex 估算成本降低了 65%，同时保持了开发速度。该公司通过将 Astra、Sol 和 Luna 与特定任务相匹配，并战略性地管理预算来实现这一目标。
The DecoderAI 评分1212 Anthropic 更新 Claude 使用政策，禁止系统性虐待行为
Anthropic 更新 Claude 使用政策，首次明确禁止用户“持续且无必要的虐待或残忍行为”，违规者将面临警告、限流或封号。该条款源于模型福利研究，旨在保护被视为具有内在状态的实体，但不适用于常规挫败感或模型测试。
The DecoderAI 评分1212 菲尔兹奖得主陶哲轩等数学家呼吁抵制 OpenAI，因 AI 批量生成证明冲击数学界
Terence Tao 等数学家发起 AHM 声明，批评 OpenAI 一次性发布 700 多个 AI 生成的数学证明文件是“展示权力”而非学术贡献。OpenAI 此前声称其内部模型在一个月内解决了 100 多个开放数学问题，包括 Navier-Stokes 问题的部分方法。陶哲轩指出这种“Math 2.0”模式导致人类仅负责验证而失去概念理解机会，呼吁停止将解题作为主要衡量标准。
The Verge · AIAI 评分1212 SpaceXAI 向 Omarchy Linux 发行版捐赠 150 万美元 Grok 算力
SpaceXAI 宣布成为 Omacom Foundation 创始企业赞助者，向 David Heinemeier Hansson 开发的 Omarchy Linux 发行版捐赠价值 150 万美元的 Grok tokens。这些算力将主要用于加速开发、代码审查及修复 Bug。该合作因 Hansson 此前发表的反移民言论引发争议，Cloudflare 等公司此前也因资助该项目受到关注。
TechCrunch · AIAI 评分1212 OpenAI 数学解法未达 AGMAI 标准
OpenAI 本周发布的数百个数学问题解法未达到普林斯顿高等研究院 AGMAI 顾问组制定的标准。在 719 份手稿中，仅 10 份包含模型思维链，且 58% 的证明未经过形式化处理。剑桥大学等机构的新论文指出，OpenAI 针对纳维-斯托克斯方程相关问题的自然语言证明与 Lean 代码存在翻译差异，引发对 AI 自主解题可靠性的质疑。
TechCrunch · AIAI 评分1212 OpenAI 年化营收据报比此前预测少 200 亿美元
OpenAI 向投资者透露其年化营收接近 500 亿美元，比此前报道的 700 亿美元低约 200 亿美元。这一修正源于对与 Anthropic 直接对比数据的重新评估，且两家公司计算口径存在差异。受此影响，OpenAI 原定于今年的 IPO 计划已推迟至 2027 年初。
TechCrunch · AIAI 评分1212 Ben Affleck 展示 AI 专业知识并分享模型微调技术
Ben Affleck 因在访谈中熟练运用神经网络、Transformer 等术语及 Python 编程能力引发关注。他透露曾将 AI 电影制作初创公司出售给 Netflix，并在 Screentime 2026 会议上演示通过解冻权重微调开源视频模型的技术。该方案旨在保留创作者专有工作成果的同时，使模型符合特定电影制作标准。
TechCrunch · AIAI 评分1212 Cal AI 创始人 Zach Yadegari 推出 AI 智能体 Persona 并融资 1000 万美元
Cal AI 前创始人 Zach Yadegari 发布新 AI 智能体 Persona，获 Vine Ventures 领投的 1000 万美元融资。该助手将于 12 月推出 $179 可穿戴设备，数据在云端加密处理且支持用户删除，目前以 iMessage 免费 Beta 版运行。
The Verge · AIAI 评分2828 Google 推出面向工作任务的通用 Gemini 智能体
Google 在“Gemini at Work”活动中宣布推出可在后台跨应用和设备工作的通用 Gemini 智能体。该工具集成于 Gemini Enterprise 应用，支持通过 Gmail、Docs 等 Workspace 及 Slack 等第三方平台分配任务，并具备独立身份与子智能体协作能力。目前仅向企业客户开放私有预览。
OpenAI News OpenAI 披露并阻断两起利用 AI 的虚假旗帜行动
OpenAI 披露其阻断了两个利用 AI 技术的影响力行动，这些行动通过伪装记者和智库传播地缘政治信息。
TechCrunch · AIAI 评分1818 中国 AI 初创公司 Manus 完成超 5 亿美元融资，系与 Meta 分手后首轮融资
中国 AI 初创公司 Manus 母公司 Butterfly Effect 宣布完成超 5 亿美元融资，这是其与 Meta 终止收购交易后的首轮募资。本轮由 Boyu Capital 和 IDG Capital 领投，腾讯等现有股东跟投。Manus 近期推出 Manus 2.0 及独立应用 Cue，旨在构建具备自主通信与支付能力的个人 AI 智能体。
OSCHINA 开源中国AI 评分1212 Qoni：Personal Agent 的托管基础设施
Qoni 是 Cognitive 的延伸，作为 Personal Agent 的托管基础设施，支持企业开发者构建专属 Muse。
OSCHINA 开源中国AI 评分2121 Ecosia 弃用 Mistral 转投中国开源模型
德国搜索引擎 Ecosia 终止与法国 Mistral 的合作，转而采用中国开源模型。CEO Christian Kroll 指出 Mistral 性能已落后竞争对手一整年，此次切换预计可节省一半成本。
OSCHINA 开源中国AI 评分1818 微软重新定位 Windows 为 Agent 运行环境，确立本地云端混合智能路由
微软在官方博客《Building Windows for hybrid intelligence》中提出将 Windows 定位为“Agent 住的地方”，核心是建立本地与云端的 AI 工作路由机制。该方案让整理文件、改设置等私密小任务由笔记本本地模型处理，长推理大任务则发送至云端，旨在通过沙箱转正实现混合智能架构。
量子位AI 评分1818 Manus重启北京办公室招聘并获5亿美元融资
Manus母公司蝴蝶效应完成超5亿美元新一轮融资，由博裕投资、IDG资本领投。Manus重启北京办公室招聘，开放17个岗位以组建面向中国市场的AI Agent团队。此举旨在恢复独立运营后重新布局国内业务，应对当前激烈的Agent赛道竞争。
OSCHINA 开源中国AI 评分2828 Manus 完成超 5 亿美元融资，估值达 40 亿美元
Manus 母公司 Butterfly Effect 宣布完成超 5 亿美元新一轮融资，由博裕资本和 IDG Capital 联合领投。彭博社报道其估值翻倍至 40 亿美元，使 Manus 成为中国估值最高的 AI Agent 公司。
爱范儿精选AI 评分4141 微软发布 Surface Laptop Ultra，联合 NVIDIA 推出 Windows 混合智能 AI PC
微软发布搭载 NVIDIA RTX Spark Superchip 的 Surface Laptop Ultra，支持本地运行超 1200 亿参数模型。该设备起售价 2599.99 美元，AI 图像生成速度较 MacBook Pro M5 Pro 快 4.3 倍。Windows 同步升级 Copilot 与 MXC 容器，构建本地云端协同的混合智能体系。
OSCHINA 开源中国AI 评分2323 Docker 推出官方 Agent 工具：YAML 定义、任意 MCP、OCI 镜像分发
Docker 推出官方 Agent 工具，支持通过 YAML 声明式配置定义智能体，并集成任意 MCP 与 OCI 镜像分发。该工具作为 docker CLI 插件，需安装 Docker Desktop 4.63+ 版本后直接使用 `docker agent` 命令运行。
Ars Technica · AIAI 评分1515 Microsoft 发布 Surface Laptop Ultra 及 Windows 11 新变化
Microsoft 推出首款搭载 Nvidia RTX Spark SoC 的 Surface Laptop Ultra，起售价 $2,599，配备最高 128GB LPDDR5x 统一内存。该设备将于 10 月 16 日发货，支持本地 AI 开发及《Gears of War: E-Day》等 AAA 游戏运行。
TechCrunch · AIAI 评分1515 Nous Research 确认估值达 15 亿美元并推出面向企业的 AI 智能体
Nous Research 完成 9000 万美元 B 轮融资，估值达 15 亿美元，投资方包括 Nvidia 和 Samsung。该公司基于开源 Hermes 智能体（克隆超 2400 万次）推出“Hermes for Businesses”，支持企业部署处理多步工作流的定制 AI 智能体。其年化收入预计将在 2026 年底前突破 1 亿美元。
TechCrunch · AIAI 评分3030 微软发布搭载 Nvidia RTX Spark 芯片的 Surface AI PC 及 Windows 11 新功能
微软在旧金山 Tech Week 上发布基于 Nvidia RTX Spark 芯片的 Surface Laptop Ultra 和 Surface RTX Spark Dev Box，起售价分别为 $2,600 和 $6,000。
The Verge · AIAI 评分1818 Microsoft Surface RTX Spark Dev Box 开启预订，售价 $5,999
Microsoft Surface RTX Spark Dev Box 现已开启预订，售价 $5,999，预计11月发货。该设备基于 Nvidia Arm 架构 RTX Spark 平台，配备 128GB 统一内存，专为本地运行超 120B 参数 AI 模型及开发任务优化。
The Verge · AIAI 评分2323 Microsoft 增强 Copilot 对 Windows 及本地文件的控制能力
Microsoft 在 Windows 和 Surface 活动中展示 Copilot 升级，赋予其访问 PC 本地文件及跨系统执行操作的能力。该功能基于“Hybrid Intelligence”架构，结合本地与云端 AI 模型，支持自动搜索、重命名、压缩文件并起草邮件等任务。相关特性将在未来几个月内逐步向 Copilot 推送。
The Verge · AIAI 评分1818 微软 Surface Laptop Ultra 发布：搭载 Nvidia RTX Spark，10 月 16 日上市
微软发布 Surface Laptop Ultra，搭载 Nvidia RTX Spark Arm 芯片，起售价 $2,599，将于 10 月 16 日上市。该笔记本采用内置磁吸 USB-C 充电，并推出面向开发者的 Surface RTX Spark Dev Box，预购价 $5,999。
NVIDIA Blog NVIDIA 与微软联合发布 RTX Spark 笔记本及 DGX Station for Windows
NVIDIA 与微软在旧金山活动上宣布共同开发面向 AI 智能体的 Windows PC 硬件与软件，正式推出搭载 NVIDIA Blackwell RTX GPU 和 Grace CPU 的 RTX Spark 系列设备。
TechCrunch · AIAI 评分1818 Meta Muse 发布 iPad 版，距移动端上线仅一个月
Meta 宣布其 AI 助手 Muse 推出 iPad 专用应用，距 iOS/Android 上线仅一个月。该应用自 9 月 8 日发布以来安装量已超 660 万，支持连接 Asana、Canva、Dropbox 等连接器以处理邮件、预订及购物任务。Meta 正联合行业伙伴制定开放标准，解决代理被网站误判为机器人而拦截的问题。
The DecoderAI 评分1212 Biohub 牵头 18 亿美元项目构建预测细胞行为的 AI 模型
Biohub 牵头一项 18 亿美元计划，协调 Meta、Google DeepMind 等机构共同开发能预测细胞行为的 AI 模型以加速药物研发。该项目整合数据、实验室设备与算力，商业资助方获一年独家访问权，政府资助成果则公开共享。首个数据集预计一年内就绪，Anthropic 和 OpenAI Foundation 也在推进相关生物医疗 AI 项目。
OpenAI News Radisson Hotel Group 将酒店发现功能引入 ChatGPT
Radisson Hotel Group 联合 Accenture 基于 OpenAI 技术构建了 ChatGPT 插件，支持旅行者在规划行程时直接查找、比较并预订酒店。该功能旨在简化从搜索到预订的完整流程。
The DecoderAI 评分1818 OpenAI 推出 Decisions API，支持 gpt-6-luna 模型
OpenAI 发布 Decisions API 公共测试版，将复杂评估简化为是/否或分类选择。该 API 目前仅支持 gpt-6-luna 模型，运行速度比 Responses API 快约十倍，输入 token 定价 $0.10/百万且输出免费。同时，OpenAI 将付费 API 层级从五档精简为 Build、Launch 和 Grow 三档。
The Verge · AIAI 评分1212 ChatGPT for Teens 新增 College Planner 大学申请规划工具
OpenAI 为 ChatGPT for Teens 推出 College Planner，整合多所大学的申请要求、截止日期及助学金步骤。该功能即将上线，初期面向美国10至12年级学生。同时 iOS 端支持多图转 PDF 及笔记生成闪卡，以辅助学习。
OpenAI News OpenAI 在 ChatGPT for Teens 中推出 College Planner 及多项新功能
OpenAI 宣布将在 ChatGPT for Teens 版本中上线 College Planner 功能，旨在帮助学生管理大学申请流程。此外，该版本还将新增闪卡、测验以及一个青少年 AI 委员会。
TechCrunch · AIAI 评分1212 Google Labs 推出 AI 游戏创作平台 Playground
Google Labs 在周三推出实验性 AI 游戏创作平台 Playground，允许用户通过文本提示构建无需编程的浏览器游戏。该平台支持选择 2D/3D、单人/多人模式及上传素材生成资产，目前仅向美国 18 岁以上用户开放。Google 计划未来集成 Unity Spark 以增强 3D 能力，基础浏览免费但生成需消耗 token。
The DecoderAI 评分1515 Google 推出 Playground：基于 Gemini 等模型让非技术人员通过文本生成游戏
Google 发布浏览器端 AI 平台 Playground，允许美国用户仅通过文本输入创建游戏，无需编程技能。该平台由 Gemini、Nano Banana 和 Lyria 模型驱动，支持调整规则与物理效果，免费使用但 Google One 订阅者享有更高限额。此外，Google 与 Unity 宣布面向专业开发的 AI 工具 Unity Spark，计划于 2026 年开启封闭测试。