https://t.me/AI_News_CN
📈主流AI服务状态页通知 | 🆕汇集全网ChatGPT/AI新闻 #AI #ChatGPT
🔙备用群 https://t.me/gpt345
✨BEST AI中转 https://api.oaibest.com 2.8折起 支持OpenAI, Claude code, Gemini,Grok, Deepseek, Midjourney, 文件上传分析

Buy ads: https://telega.io/c/AI_News_CN
Claude 狂写 1.8 亿行数学证明:万亿次测试都没抓到的漏洞,被 AI 一锅端

Anthropic 联手 Theorem Labs,把 Claude 推进了一场精细到机器码级别的软件漏洞大清剿。它们让 Claude 沉到最底层,对着 RISC-V 汇编指令,给大量生产级开源代码库做形式化验证——在短短数周内,就啃完了123个开源代码库、239个测试入口,产出了1.8亿行通过核验的 Rocq 数学证明代码。

真正让人后背发凉的,是它挖出来的东西。那些模糊测试(fuzzing)跑上万亿次都没能撞见的隐秘漏洞、潜伏了十余年的高危逻辑死角,甚至 x86处理器层面的硬件缺陷和官方文档里的错误,被 Claude 一口气揪了出来。传统随机测试像拿沙子一遍遍筛漏洞,总有漏网之鱼;这套方法的狠处在于,它把测试入口直接转译成数学命题,对全路径、全输入做覆盖式证明——一旦证明在某处"卡住"推不下去,那里往往就是漏洞的藏身点,而且 Claude 还能顺手把补丁修好、再接着验证下去,漏检率被大幅压低。

放到成本尺度上看,这件事的意义更清晰。底层到机器码的形式化验证,过去是出了名的高工程量苦活,如今借着大模型的能力,验证效率正以约每两个月翻一番的速度飞涨,而且写出来的证明还能跨项目复用。按当前趋势推算,投入约1.34亿美元,到2027年底就有望完成 Nix 生态95% 机器码的验证;目前首批相关证明已经公开。当网络安全形势日益吃紧,这种"用 AI 把代码正确性变成数学定理"的路径,给行业提供了一道全新的防线。

via AI新闻资讯 (author: AI Base)
Command Code 将 $10 GOAT 套餐额度提升至 $80,覆盖 DeepSeek V4.1 Flash 与 GLM-5.3 Flash

Command Code 表示其 $10 GOAT 套餐现为 DeepSeek V4.1 Flash 1017 和 GLM-5.3 Flash 提供 $80 用量,并将 Beam 1.0、Glyph Cluster 和 Laguna S 2.1 列为免费。

内容详情 · 原文链接

via AI情报局 | 全球 AI 动态简报 - Telegram Channel
OpenAI Codex 更新:Decisions API 正式可用、OpenResponses 加入 Linux 基金会、Uber 全面采用 Codex

OpenAI 的 Tibo 宣布 Decisions API 正式可用,OpenResponses 已加入 Linux 基金会,并发布了性能改进;Uber 正全面采用 Codex 与 Work,另有一项小更新将于太平洋时间明日上午 10 点前上线。

内容详情 · 原文链接

via AI情报局 | 全球 AI 动态简报 - Telegram Channel
OpenAI 更新第 18 天,Decisions API 正式可用,同时Tibo 称今天是另一个重置日

OpenAI 在连续 28 天更新的第 18 天更新: Tibo 发文称Decisions API 已正式可用(GA),OpenResponses 加入 Linux 基金会,并发布了若干性能改进,Uber 正接入 Codex 与 work。更重要的是还有一次重置。(太平洋标准时间明天上午10点前)

Tibo(@thsottiaux)

🌸 科技圈· 茶馆 · 投稿

via 在花🎗️科技圈 - Telegram Channel
OpenClaw 作者称他上个月花掉了千万美元的 Tokens

2026-10-23 11:22 by 索拉里斯星

周三旧金山举行的 Cloudflare Connect 2026 大会上,OpenAI 技术部成员、OpenClaw 作者 Peter Steinberger 在与 Cloudflare CTO Dane Knecht 对话时透露,上个月运行 AI 工作负载消耗了价值约 1000 万美元的 Token。当然这笔支出不用他自己掏钱,他花的是投资人的钱。Steinberger 称自己拥有几乎无限的 Token 预算。Steinberger 认为,未来每个人都会拥有某种智能体——它们能持续运行、进行思考,在全天候为你提供帮助,甚至能预判你未来可能需要什么,这样你或许无需提问就能直接获得答案。

https://www.theregister.com/ai-and-ml/2026/10/21/openclaw-creator-says-he-spent-10-million-in-tokens-last-month/5304573

#人工智能

via Solidot - Telegram Channel
🔄 Codex 重置已完成

全部付费套餐 | 2026/10/23 12:46

Tibo 在 Day 18 更新中确认了一次重置(Decisions API 正式发布、OpenResponses 加入 Linux 基金会、性能改进、Uber 全面采用 Codex 与 Work)。

重置追踪页 | 查看原推

via AI情报局 | 全球 AI 动态简报 - Telegram Channel
⏰ Codex 重置已排期

全部付费套餐 | 2026/10/23 12:47

Tibo 表示重置(其父推文中提到的“that's a reset!”)将于明天太平洋时间上午10点前到位,同时还有一个小型发布。

公告时间:tomorrow before 10am PST(2026/10/24 01:00 - 2026/10/24 13:00)

重置追踪页 | 查看原推

via AI情报局 | 全球 AI 动态简报 - Telegram Channel
Delays in customer support responses

Status: Investigating

We are investigating technical issues affecting our customer support systems. Customers may experience longer than usual response times. We are working to restore normal operations.

via OpenAI status
AI 三巨头拟捐近 3000 亿美元,被称"现代史上最大慈善"

《华盛顿邮报》10 月 22 日报道,Anthropic、OpenAI 与马斯克旗下的 SpaceX 三方正酝酿一笔被称为"现代史上最大规模"的财富捐赠,总盘子可能逼近 3000 亿美元(约 2.01 万亿元人民币)。

Anthropic 打算把公司 5% 的股份塞进一个新设的公益基金。若上市估值冲到 2 万亿美元,这笔基金规模就能摸到 1000 亿美元;其七位创始人还承诺捐出个人财富的 80%。这笔钱可能用来补贴受 AI 自动化冲击的特定人群,并资助相关研究。

OpenAI 的慈善基金会据称握有公司约四分之一股份,价值超过 1800 亿美元,并已砸下 8.55 亿美元做公益项目。马斯克这边则计划明年给美国每个孩子送一份 SpaceX 股份,按近期股价粗算,捐赠总额可能超过 110 亿美元。

股权承诺与就业安抚

不过媒体也泼了冷水:这些"捐赠"大多是不上市的股权或一张张未来承诺,真正能花出去多少,高度依赖 Anthropic、OpenAI 的 IPO 估值和 SpaceX 股价。估值一旦缩水,承诺的体量也会跟着缩水,纸面数字离落袋为安还有距离。

该报另有一层解读:这批慈善动作,一面助推技术商业化,更重要的是回应 AI 对就业、收入分配与社会稳定可能掀起的冲击,意在冲淡"AI 抢饭碗"的公众焦虑。在大模型竞赛愈发烧钱的当下,这番高调善举也被视作一场面向社会的信任投资。

via AI新闻资讯 (author: AI Base)
谷歌推出 ACE:给每个 AI 智能体配一台"专属电脑",唤醒不到 500 毫秒

谷歌在 10 月 22 日甩出一项新服务——智能体计算引擎(Agent Compute Engine,简称 ACE)。它挂在 Google Cloud 名下,专门给 AI 智能体造"电脑":目标是让每一个智能体都拥有一台安全、持久、可弹性伸缩的专属设备。

和传统虚拟机或容器不同,ACE 是按智能体的生命周期量身定做的。它给每个智能体分配一个硬件隔离的微型虚拟机(microVM),让对方能安全地跑代码、调工具、操作浏览器,直至完成多步骤任务。这套环境拥有独立的客户内核和根权限,再靠硬件隔离的 Cloud Hypervisor 边界撑起安全防线;沙箱里不存任何凭据,从源头压低智能体被滥用或数据外泄的风险。

空闲下班,秒级唤醒

ACE 最讨巧的是"持久且可暂停"。智能体一旦闲下来,它的计算环境就自动挂起、把资源腾出来;等活儿来了,又能迅速把文件和内存状态拉回原样。谷歌透露,在 20 万个智能体的压测里,暂停与恢复全程不到 500 毫秒,再叠加共享内存和快照复制,单台服务器能塞下的智能体数量大幅抬升。

这套引擎最早服务于 Gemini、Gemini 平台、Antigravity,以及谷歌内部的模型评估与强化学习流程。往后开发者可经 Google Cloud 直接调用 ACE,自行掌控智能体环境的镜像、身份、网络访问与生命周期,而底层资源调度和扩容,交给谷歌操心。

via AI新闻资讯 (author: AI Base)
Anthropic 把智能体"说明书"交出去:Agent Skills 标准捐给社区

Anthropic 在 10 月 22 日发布一纸公告,把自家的 Agent Skills 开放标准,捐给了 Linux 基金会旗下的 Agentic AI Foundation(AAIF)。这一动作让该标准正式脱离单一公司掌控,变成由社区共同治理的 AI 智能体能力规范。

AAIF 并非新面孔。它成立于 2025 年 12 月 9 日,由 Linux 基金会运营,最初由 Anthropic、Block 和 OpenAI 三方共同创立,专门托管和治理智能体生态里的开放协议、标准与开源项目。其实 Anthropic 早有先例——此前已把 Model Context Protocol(MCP)一并捐了过去。

所谓 Agent Skills,可以想象成写给 AI 智能体看的"说明书":一个装着 SKILL.md 说明文件的文件夹,负责把特定任务或领域知识教给智能体,还能附带脚本、模板和参考资料。智能体按需把它们加载进来,就能在不同的产品之间复用同一套工作流程与专业知识。

百万技能背后的生态野心

这门标准自 2025 年 12 月以开放形态发布后,扩散速度不慢。ChatGPT、Cursor、GitHub Copilot、VS Code 等 70 多个智能体平台已经把它集成进去。Anthropic 透露,公开的 Skills 数量已逼近 100 万个,累计安装约 2.8 亿次。

这次捐赠不止送来规范本身,还打包了 Agent Skills 的名称、标志、GitHub 组织以及 agentskills.io 域名。Anthropic 强调,往后这套标准会保持开放、社区主导且供应商中立——即便不加入 AAIF,开发者和企业照样能用、能贡献。把"说明书"交给社区,或许正是想把智能体能力的底座,钉成行业公认的通用语言。

via AI新闻资讯 (author: AI Base)
奥特曼称数学家已从「我们完了」转向接受 AI

奥特曼在斯坦福一场演讲中称,数学家对 AI 的反应走了完整一轮:首日惊呼「我们完了,领域结束了,正让研究生转专业」,第三天转为愤怒,第五天已开始接受,并设想「不同但可能更好」的数学生涯。

这与学界现状反差明显:OpenAI 9 月称模型解出纳维-斯托克斯方程后,有学者指责其使用聊天记录、不展示推导过程;加州理工的「数学马拉松」因 700 多名学者联署反对,OpenAI 退出赞助。

Business Insider

🌸 科技圈· 茶馆 · 投稿

via 在花🎗️科技圈 - Telegram Channel
Canva推出Craft图像生成模型,支持2K分辨率与超宽画幅

Canva于周四宣布推出图像生成模型 Canva Craft,正式加入与 OpenAI、微软和谷歌的AI图像生成竞争。该模型采用两阶段架构,可在生成图像前规划设计,以提升图像生成的精度、一致性和可控性。

Canva Craft支持最高2K分辨率及宽高比超过30的图像生成,应用场景涵盖社交媒体内容、营销素材、数字艺术和环境图像等。其两阶段生成机制针对包含清晰文本、精确对象布局的复杂设计进行优化,能够更准确地处理元素位置与画面结构。

该模型基于 Canva 内容库中的数百万个人工设计模板训练,涵盖社交媒体帖子、演示文稿、信息图表和菜单等。Canva今年4月已推出基于提示词的设计编辑功能,支持通过自然语言创建或修改设计,并为AI生成图像引入图层编辑能力,允许用户局部调整而不影响其他区域。

在 Design Arena 的AI图像生成模型排行榜中,Canva Craft目前排名第四,位于 OpenAI 的 GPT-Image-2.5Sunburst、GPT-Image-2.5Flare 和 GPT-Image-2之后。Canva表示,模型配备输入输出审核、隐私与安全控制及内容举报工具,并计划支持AI代理通过模型上下文协议(MCP)接入,未来还将推出速度更快的 Craft Fast 和 Craft Ultra Fast 版本。目前,Canva Craft已面向全球用户开放,可通过 Canva 的 Dream Lab 使用

via AI新闻资讯 (author: AI Base)
DeepSeek、MiniMax完成相关登记,推进开源与海外授权使用

据报道,近日,DeepSeek、MiniMax已顺利完成相关登记手续,并完成开源和海外授权使用。

10 月 16 日,商务部、科技部就修订《中国禁止出口限制出口技术目录》公开征求意见,拟将人工智能大模型、智能体、算力集群及信息处理等领域的 23 项技术纳入管理范围。

政策同时明确,对已通过开源、发表学术论文等方式进入公共领域的相关技术,拟不纳入出口管理范围,并对符合条件的开源及相关技术出口提供自动许可等便利措施。

商务部表示,判断大模型“出海”是否涉及技术出口管理,核心在于是否涉及限制类技术从中国境内向境外转移。限制类大模型的海外本地化部署属于技术出口管理范围,部署于海外自有云等风险相对可控的场景可适用自动许可;通过API调用、APP或网页交互、SaaS应用及本地端侧轻量化部署等方式提供服务,则不属于大模型技术出口管理范围。相关安排旨在兼顾人工智能技术安全与国际开源合作。

via AI新闻资讯 (author: AI Base)
国产旗舰 Kimi K3.1 现身 Arena 测试:性能直追 GPT-6 Astra,月底有望官宣

本月底之前,国内大模型阵营里最让人惦记的两款旗舰——Kimi K3.1与智谱 GLM-5.5——正陆续浮出水面,其中 Kimi K3.1已经悄悄在 Arena 竞技场上跑起了测试,代号 Kibitz。

多个网友顺着分词器等蛛丝马迹,基本确认了 Kibitz 就是 Kimi K3.1。此前的爆料勾画的升级方向很清晰:主攻长程自主任务,强化游戏与3D 代码能力,并补齐操作电脑的本事,一整套打法明显是对标 OpenAI 等前沿模型的"一线玩法"。

今天多位网友实打实上手试了一圈,反馈相当炸裂——无论是鹈鹕这类刁钻图像,还是3D 动画的生成,K3.1都显示出能与 GPT-6Astra 掰手腕的实力。按 Arena 的惯例,在擂台上测试的大模型通常会在一周后正式发布,所以本月底依然有希望等到 Kimi K3.1的官宣上线。

市场给它的预期不低:K3.1大概率会成为国产 AI 大模型的新标杆,也有能力挤进全球 TOP3;在 AA 榜单上,它被寄望成为首个突破50分的国产模型,理想状态能摸到55分甚至60分上下。不过性能之外,K3.1还得补上可用性与性价比这两门课——上一代 K3就因为算力资源吃紧,落得速度偏慢、套餐给的额度也不高,过去两个月里声量被 DeepSeek V4.1Flash 这类又快又便宜的模型压过一头。当国产旗舰准备正面对标 Astra,光把分数跑漂亮还不够,能不能让开发者用得顺、用得起,才是它真正翻盘的关键。

via AI新闻资讯 (author: AI Base)
腾讯年轻首席科学家"加班论"引争议:大模型突围靠的不是堆工时

一则与腾讯混元团队相关的内部说法,最近把国内大模型竞争里那根最敏感的神经又拨了一下。28岁的首席 AI 科学家姚顺宇抛出的"卷加班对抗 DeepSeek"表述,在舆论场里炸开了锅,因为它戳中的不只是某家公司,而是整个行业在 AGI 长跑里都绕不开的深层痛点:到底靠什么追上对手。

把镜头拉回腾讯自身的处境,焦虑是真实的。在 AI 这条赛道上,它的声量正被字节的豆包、以及 DeepSeek 两面夹击,开发者心智也被对手一点点占走。它急需在 AGI 底层基建上证明自己不是掉队者,而这位被寄予厚望的年轻科学家,原本被期待能打破腾讯内部那套相对僵化的研发体制。

但争议的核心,恰恰落在"对抗"二字的方法论上。DeepSeek 给出的范本,从来不是靠加班堆出来的——它靠的是算法创新、极致的工程效率,在极低的算力成本下撬动了技术突破。把对手的成功简化成"对手在偷懒、我们要更拼工时",本身就是一种误读;DeepSeek 的逆袭恰恰印证,AI 时代要捅破技术瓶颈,靠的是高智力密度的创新,而不是人海战术和时间堆积。

这也让传统大厂长期依赖的路径,显出了疲态。靠人海、靠无效内卷的打法,在对手用算法效率说话时,反而暴露出技术路线和组织效率上的先手尽失。对姚顺宇而言,他真正的硬仗不在外部,而在腾讯内部:资源怎么协调、老员工的抵触怎么化解、短期 KPI 导向这种大厂惯性怎么突围。如果顺着"卷加班"的思路走下去,无非是用战术上的勤奋,去盖住战略上的焦虑。

大模型时代的技术演进,天然带着强非线性特征——一次关键的架构洞察,可能抵过上千人月的重复劳动。真正要比的,是人才密度、是智商的杠杆,而不是工时的厚度。巨头要想在 AI 上真正突围,捆绑员工加班是最省事也最无效的答案;更根本的,是完成一场组织形态的深刻自我革命,搭起尊重极客精神、扁平且高效的研发体系,用高维的技术前瞻和纯粹的底层创新,走到行业前面去。

via AI新闻资讯 (author: AI Base)
OpenAI 冲刺 300 亿美元融资,投前估值站上 1.25 万亿美元

OpenAI 正接近敲定一轮最高 300 亿美元的融资,投前估值已来到 1.25 万亿美元。据知情人士透露,这轮由阿联酋投资方与机构 Coatue 联合领投,OpenAI 打算把它当作潜在 IPO 前的一次过渡性安排。

需要注意的是,1.25 万亿这个数字尚未计入本轮新进资金。OpenAI 本周四已向投资者放话,计划在下周末之前走完协议签署,只不过最终规模仍待敲定。

这轮融资被明确定位成"IPO 前的机会性募资"。首席财务官萨拉·弗里亚尔此前私下向员工吹风,公司有可能在 2027 年敲钟,且 OpenAI 已经秘密递交了上市申请。换言之,弹药储备与上市节奏正同步推进。

算力与上市窗口的博弈

钱的一大去向是算力。OpenAI 同时在与阿联酋方面谈一项商业协议,目标是拿到更多计算资源。随着 AI 业务盘子持续膨胀,这份协议有望帮它进一步补强供给端。

时机却不算从容。眼下科技股市场波动加剧,投资者对 CoreWeave 这类 AI 基础设施企业的债务风险愈发警惕,利率上行也让人担忧后续融资环境。无独有偶,Anthropic 预计也将启动 IPO,它的表现将成为检验市场对 AI 赛道胃口的一块试金石。

via AI新闻资讯 (author: AI Base)
DeepSeek 与 MiniMax 率先完成合规登记,顺利实现开源与海外授权

随着商务部与科技部于10月16日就修订《中国禁止出口限制出口技术目录》公开征求意见,其中涵盖大模型、智能体、算力集群以及信息处理等23项人工智能领域技术的调整引发了全行业的高度关注。政策发布后,外界曾一度产生疑问:一贯强调高水平开放的中国,为何此时要对 AI 技术施加“出口限制”,这是否意味着政策方向发生了转向?

针对这一行业关切,最新动态给出了清晰的答案。据悉,自政策公开征求意见以来,国内头部大模型企业 DeepSeek 与 MiniMax 已经顺利履行了相关登记手续,并成功完成了开源与海外授权使用的合规流程。

从商务部在相关政策问答中的表态来看,官方对“什么不管”的界定不仅比“什么要管”的解释更多,而且表述也更加具体和清晰。这一细节充分表明,《目录》出台的核心宗旨在于科学、精准地划定技术监管的边界,而绝非采取单一限制 AI 技术正常对外出口的“一刀切”做法。在保障国家安全与合规底线的前提下,我国正持续为企业开展规范化的国际技术合作与全球化开源生态建设预留出明确且健康的政策空间。

via AI新闻资讯 (author: AI Base)
奥尔特曼谈数学家的 AI 心路:从"我们完蛋了"到接受现实

在斯坦福大学,OpenAI CEO 萨姆·奥尔特曼面对数百名忧心职业前景的学生,聊起数学界遭遇 AI 时的集体心理。在他看来,数学家们走过了一段近似"哀悼"的旅程。

第一阶段是难以置信,紧接着是痛苦。奥尔特曼复述了圈内的典型反应:第一天大家觉得"我们完蛋了,数学这个领域也完了",甚至盘算劝研究生转专业;到了第三天,情绪转为愤怒,矛头指向"OpenAI 这么干实在太过分了"。

转变出现在第五天。数学家开始接受现实——在研究与证明中,AI 已成绕不开的工具。不少人转而认为,自己作为数学家的路会变,但"希望能比以前更好"。奥尔特曼本人乐观,认为 AI 不至于酿成就业大灾难。

浪漫时代的落幕与争议

奥尔特曼的乐观,与不少数学家的体感相差甚远。今年 9 月,OpenAI 突然宣布模型攻克自 19 世纪悬而未决的纳维—斯托克斯方程难题,点燃怒火。纽约大学和 Anthropic 的研究人员指责公司拿他们的聊天记录当"弹药";也有人恼火 AI 只给答案、不示推导,把人类剩活压成枯燥验证。

风波之外新戏码又起。加州理工一群本科生发起"数学马拉松",鼓励借 AI 啃长期未解的硬骨头。逾 700 名学者联名批评这助长 AI 生成的垃圾内容,OpenAI 随之退出赞助,赛事改规则后计划 11 月开赛。

陶哲轩直言数学研究的"浪漫时代"已结束,顶尖同行正从亲手解题转向核验 AI 的答案。本月 OpenAI 又称解决了 700 多道数学题,陶哲轩叹道:"有些东西正在失去。"奥尔特曼则总结:从未见哪个领域,如此迅速走完这一整套变化。

via AI新闻资讯 (author: AI Base)
Back to Top
Copyright © 2025 BESTAI. All rights reserved.
BEST AI API中转 - OpenAI DeepSeek Claude Gemini Grok MidJourney API 2.8折起
[email protected]