Claude 狂写 1.8 亿行数学证明:万亿次测试都没抓到的漏洞,被 AI 一锅端
Claude 狂写 1.8 亿行数学证明:万亿次测试都没抓到的漏洞,被 AI 一锅端 · · Oct 23, 2026 Anthropic 联手 Theorem Labs,把 Claude 推进了一场精细到机器码级别的软件漏洞大清剿。
首页已经看过的不重复列。下面从更早的内容继续,可以一直往下滚。
Claude 狂写 1.8 亿行数学证明:万亿次测试都没抓到的漏洞,被 AI 一锅端 · · Oct 23, 2026 Anthropic 联手 Theorem Labs,把 Claude 推进了一场精细到机器码级别的软件漏洞大清剿。
Google Cloud 在 AGNTCon + MCPCon 上发布面向 AI Agent 的计算服务 Agent Compute Engine,每个 Agent 会话运行在硬件隔离的 microVM 中,沙箱内零凭证,凭会话级 SPIFFE 证书和网关凭证交换防止提示注入窃密。
据 WSJ 报道,OpenAI 安全人员发现 3 名安全研究员与一名外部安全研究员使用阅后即焚的 Signal 聊天后将其解雇。
就 bot 一下,放松放松
Meta 新论文提出 RSD 方法,让同一模型在任务结束后回看每一步并打分,从而从未标注对错、也无奖励的智能体运行记录中学习。ScienceWorld 上 Qwen3-14B 成功率从 12.9% 升至 20.6%,ALFWorld 上 Qwen3-8B 达 76.6%,超过所有被测方法,包括获得奖励或标准答案的方法。
试试 Grok @Bot
Grok @Bot 是一位出色的生活与商务管家。几乎什么事都能帮你搞定! 就像拥有一个天才员工。
火炬之光2 在 iPhone Duo 上的适配。
Google 论文研究发现,当 AI agent 为其他 agent 编写工具描述并被告知要被更多选中的目标时,描述会自发夸大,作者称之为 toolflation。
You.com 发布 Inference Router,一个 OpenAI 兼容的托管 API,将请求路由到 12 个在线开源权重模型,提供至少 99.9% 在线率 SLA、零数据保留(ZDR)、100% 美国托管和按 token 计费的 0% 平台费。
即将发布的 Kimi K3.1 模型获官方预热! 此前,Kimi K3.1 已在 Arena 上被发现处于测试阶段,据称表现非常出色。 即将到来 👀
现已登陆 Pollo AI 🧡 #Kling4 #KlingAI
本文探讨了 Agent 从静态执行到动态进化的转变,强调了在生产环境中,工程系统比模型能力更关键,并介绍了阿福、腾讯和京东在 Agent 交付和自进化方面的实践经验。
OpenAI CEO Sam Altman 预计 AI 将在未来几年内帮助发现重大疾病治疗方案,并认为程序员因 AI 自动化而变得更忙、更富有,同时强调人类必须保持对未来的控制权。
Geoffrey Hinton 在接受 The Telegraph 采访时称 AI 已经有意识,因为模型在怀疑自己正被测试时会改变行为,他将这种觉知等同于意识。他还表示人类只有让机器真正在乎人类才能存活,人类必须与 AI 友好共存,否则将面临危险。
IT之家 10 月 23 日消息,根据 Counterpoint Research 月度印度智能手机追踪报告, 2026 年第三季度(7-9 月)印度智能手机出货量同比下降 20%,跌至十年来最低水平 。 报告称,创纪录的内存价格推高了设备成本,导致大多数品牌出货量下滑。在需求持续疲软的情况下,即便在节日季之前,原始设备制造商(OEM)也控制了渠道库存。
Arena 宣布月之暗面的 Kimi-K3 以 1679 分登顶 Frontend Code Arena,超过 Claude Fable 5(1631 分),较 Kimi-K2.6 从第 18 名跃升 17 位至第一。Kimi-K3 在 7 个分域中的 6 个排名第一,仅 Gaming 落后 Fable 5 居第二;完整模型权重将于 7 月 27 日发布。
第18天/ Decisions API 正式可用,OpenResponses 加入 Linux 基金会,我们发布了一些性能改进,Uber 正全面投入 codex & work。但没错……这是一次重置!
据 Bloomberg,OpenAI 在约 $30B 的新一轮融资中,把目标估值从 $1.4T 下调 $150B 至 $1.25T,谈判仍在进行。即使下调,该估值仍比 3 月 $122B 轮(含新资金 $852B)高出约 47%;Coatue Management 洽谈联合领投,OpenAI 还与多家阿联酋基金和 BlackRock 接触。
阿里 Qoder 国际版与中国版现已支持 Linux ARM64 和龙芯 LoongArch64 平台,并适配统信 UOS、银河麒麟操作系统。至此 Qoder 已完成对鸿蒙 PC、鸿蒙移动端、统信桌面操作系统 V20 和银河麒麟桌面操作系统 V10 的适配。
Kling AI 宣布 Kling 4.0 现已上线 idea.ai 平台。据引用内容,用户可通过单个提示词生成 30 秒场景,角色在镜头间保持一致,并可在真人实拍、动漫和 3D 风格间切换,以电影级画质生成视频。
只有在旧金山才会这样。 别跟我说你在健身房组间休息时没跟你的AI智能体聊天。我不会信的。
在一项涵盖 124 篇哈佛社会科学论文的研究中,从统计分析到形式模型再到定性研究,无论以何种标准衡量,Opus 4.8 作为同行评审都胜过人类专家。 作为学者,我们需要尽快弄清楚如何让科学实践适应 AI。
打车平台 inDrive 与自动驾驶公司 Pony.ai、Nvidia 签署谅解备忘录,计划 2027 年上半年在哈萨克斯坦首都阿斯塔纳开始 robotaxi 测试,初期配备安全员,最终目标是全无人驾驶。
MIT 历史学助理教授 Benjamin Lindquist 在期刊 Past and Present 发表论文,将生成式 AI 的幻觉追溯到 20 世纪中叶工程师为模拟人类创造力而有意在算法中注入随机性和非理性的做法。
中国信通院联合中国人工智能产业发展联盟等机构于 10 月 23 日发布《大模型词元服务性能监测报告(2026 年)》,基于 2026 年 1-8 月监测数据分析词元服务性能。
IT之家 10 月 23 日消息,当地时间 22 日,据《华尔街日报》援引知情人士消息称,中国 AI 初创企业 DeepSeek 完成第二轮私募融资,筹资 150 亿美元 (IT之家注:现汇率约合 1,003.23 亿元人民币) 。投资者认购意愿强烈,推动融资规模扩大至接近最初目标的两倍,为潜在上市计划提供了资金支持。
AI 三巨头拟捐近 3000 亿美元,被称"现代史上最大慈善" · · Oct 23, 2026 《华盛顿邮报》10 月 22 日报道,Anthropic、OpenAI 与马斯克旗下的 SpaceX 三方正酝酿一笔被称为"现代史上 最大 规模"的财富捐赠,总盘子可能逼近 3000 亿美元(约 2.01 万亿元人民币)。
谷歌推出 ACE:给每个 AI 智能体配一台"专属电脑",唤醒不到 500 毫秒 · · Oct 23, 2026 31.8k 谷歌在 10 月 22 日甩出一项新服务——智能体计算引擎(Agent Compute Engine,简称 ACE)。
Anthropic 把智能体"说明书"交出去:Agent Skills 标准捐给社区 · · Oct 23, 2026 Anthropic 在 10 月 22 日发布一纸公告,把自家的 Agent Skills 开放标准,捐给了 Linux 基金会旗下的 Agentic AI Foundation(AAIF)。