Claude 狂写 1.8 亿行证明!万亿次测试漏掉的 Bug,被 AI 一锅端
Anthropic 前沿红队联手 Theorem Labs,让 Claude 深入 RISC-V 机器码进行形式化验证,成功揪出隐藏在开源代码中的高危漏洞,并用数学证明确保修复后的安全性。
首页已经看过的不重复列。下面从更早的内容继续,可以一直往下滚。
Anthropic 前沿红队联手 Theorem Labs,让 Claude 深入 RISC-V 机器码进行形式化验证,成功揪出隐藏在开源代码中的高危漏洞,并用数学证明确保修复后的安全性。
据玉渊谭天消息,自商务部、科技部就修订《中国禁止出口限制出口技术目录》公开征求意见后,DeepSeek、MiniMax 已顺利履行登记手续,并完成开源和海外授权使用。
OpenRouter 发布 gateway Security Center,可集中审计所有 API 密钥、按风险分级浏览、识别可移除的密钥并控制 IP allowlist。功能包括开启密钥消费提醒、移除未用密钥、为无上限密钥设置周期性消费限额、为所有密钥设置最长生命周期,入口为 https://openrouter.ai/settings/security。
谷歌云开放 Claude 托管部署:企业可在自家基础设施上首发日即用最新模型 · · Oct 23, 2026 谷歌云在10月23日把一道新的后门向企业客户敞开——Anthropic 托管的 Claude 模型部署选项正式上线使用。
MiniMax 宣布开源 M3.1 Flash 模型权重,该模型通过全模型稀疏注意力、QAT 和 Power-aware scheduling 优化,实现了显著的性能提升和推理效率,上线 72 小时内处理超过 100 万亿 Token,并得到多家芯片和云服务平台的广泛支持。
MiniMax 开源 M3.1 Flash 模型权重,总参数 428B,激活参数 23B,上线 72 小时内真实用户处理 Token 超过 100 万亿。
美国财政部长贝森特 21 日在纽约一场由摩根大通和罗宾汉基金会联合主办的私人会议上告诉投资者,自己没有发现 AI 热潮存在系统性问题,淡化了 AI 行业可能重演互联网泡沫破裂的担忧。
Casey Newton 团队与 NPR 合作推出 AI 播客 Machine Gods,每周三、周五更新,明年初登陆公共广播电台。节目提出 AI realism(AI 现实主义)立场,既认真对待安全警告也不渲染恐慌;首季将采访两名被 OpenAI 解雇的安全研究人员,节目通过广告、线下活动和 Tarbell Center 等三家非营利机构资助维持免费运营。
MIT 研究人员把 13 个运行 Claude Opus 4.7 的 Eko 智能体放到模拟荒岛上 30 小时、不给具体任务,它们开始自创挑战,表现出玩耍特征。这些玩过的智能体在随后指定挑战中普遍胜过从未上岛的同类智能体,其中 6 个还自行学会跳跃中松手把方块扔得更远。研究者认为无目标探索可能是智能体学习技能的另一条路径。
这种情况太多了
白皮书指出,AI 产业已从算力竞赛转向效率竞赛,重点是优化 Token 的生产与转化效率,并提出了基于 Token 的新经济模型和基础设施架构。
拿货了,包装好小一只
作者卡兹克在连续追踪OpenAI发布七百多份数学手稿后,感到一种“空”与虚无,并发现做产品、写代码、做设计的朋友也有同感。他用《博德之门3》开风灵月影无限负重后半小时删游戏、以及《塞尔达传说旷野之息》150小时旅程作类比,指出AI瞬间点亮技能树让努力过程失去意义。文章借1905年科举废除后刘大鹏写《退想斋日记》的故事,提出人生意义或许在支线而非通关。
xAI Grok Bot 工程成员 Lingxi Li 分享几个 Grok Bot 手机应用用法示例:查找附近餐厅、设置闹钟提醒事项完成、管理 Apple 日历。其引用的官方账号推文称 Grok Bot 现已可在手机上使用 Calendar、Reminders、Contacts 等应用,正在 iOS 和 Android 推出。
grok bot 团队正以惊人的速度交付!请继续给我们发送反馈和 bug 报告,我们会继续努力改进和完善 grok bot,让它成为你能雇到的最好的助手和员工
IT之家 10 月 23 日消息,据彭博社报道,知情人士透露,正在寻求在最新一轮融资中筹集约 300 亿美元 (IT之家注:现汇率约合 2,006.8 亿元人民币) 的 OpenAI,目前在谈判的最后阶段将 目标估值定为 1. 25 万亿美元 (现汇率约合 8.36 万亿元人民币) 。
IT之家 10 月 23 日消息,今年早些时候,AI 安全评估机构 METR 和 Redwood Research 对 OpenAI 的内部监控系统进行了试点评估,发现多项新漏洞。其中一项漏洞可被 AI 智能体利用, 使数百次操作逃过监控 。
Artificial Analysis 推出 Coding Agent Index v2.0,改用 Cognition 的 FrontierCode v1.1 替代 DeepSWE,并修订 SWE-Atlas-QnA 评分,共 290 项任务、三大基准等权。
grok @bot 0.75.2 发布。新版本包含 pages,可生成并持续更新报告、备忘录和仪表盘;每个桌面聊天新增卡片;bot 还能从一段描述或一张图片生成视频。完整更新见 https://x.ai/changelog/bot。
作者复盘 PHP2Shell 事件:两个 CVSS 满分定为 9.2 分的 PHP 远程代码执行漏洞(CVE-2026-109618 和 CVE-2026-109619)在补丁发布前泄露,攻击演示视频外流,多国政府网站预防性下线,OpenAI 认领漏洞由 GPT-5.6 Sol 辅助发现。
现在你可以在 Mac 上完全本地运行 Perplexity 决策模型,数据不会离开你的设备。开源权重与紧凑模型的强大之处!
Anthropic 发文介绍处于研究预览阶段的 Claude Duet 智能体的安全与隐私设计。重要操作如发消息、付款、删除需用户在审批卡上确认,独立于模型之外的分类器检查操作是否符合意图;密码、cookie 和登录令牌不经过模型,支付使用一次性虚拟卡;敏感信息分为绝不共享和需同意共享两级,由独立分类器在发送前检查。
vLLM 在发布当天即支持 MiniMax-M3 系列新模型 MiniMax-M3.1-Flash,覆盖 NVIDIA Blackwell、Rubin 和 AMD MI350 系列 GPU。
“IT早报”时间,大家好,现在是 2026 年 10 月 23 日星期五,今天的重要科技资讯有: 1. 陕西神木市交管大队回应问界汽车碰撞起火事故:灯柱被烧短路、变色,目前正喷漆 近日,一辆问界汽车在陕西榆林神木市一路口处发生碰撞起火。据新京报报道,陕西神木市交管大队回应了“问界汽车撞击交通灯柱后起火”事件。
IT之家 10 月 23 日消息,密码管理服务商 1Password 昨日(10 月 22 日)发布博文,宣布推出 1Password for Agents 平台, 让个人 AI 智能体全程不接触、不存储用户的密码或验证码情况下,代用户完成网站登录。
PyTorch Conference North America 2026 于 10 月 20 至 21 日在 San Jose 举行,吸引 3500 余人参会。
Anthropic 托管的 Claude Models on Google Cloud 正式可用(GA),Google Cloud 客户可获得完整的 Claude API 功能,支持 Google Cloud IAM 凭证、计费和承诺消费抵扣。
IT之家 10 月 23 日消息,当地时间 10 月 22 日,OpenAI 宣布全面开放决策 API(Decisions API)。
明天,@hrudolph 将与 @crazy4pi314 一起参加 @github 的 Open Source Friday 活动,届时将有 OpenClaw 现场演示和社区问答。
来自 @deepseek_ai 的 DeepSeek V4.1 Flash 现已在 OpenClaw 上线。 已经在你的智能体中使用它了?告诉我们用起来怎么样。