Claude 11 天拿下费马大定理：不是新证明，是把 350 年来最难核验的数学，变成机器逐行核对
Anthropic 官宣 Claude 用 11 天基本自主完成费马大定理的 Lean 形式化证明：写出 1300 万行代码、近 …
标签： AI Agent
恶意 Git 仓库攻破 7 款 AI 编程工具：Claude Code、Codex、Cursor 全中招，打开项目就执行攻击代码
Manifold Security 披露代号 GitSpawn 的安全漏洞：8 个漏洞波及 Claude Code、OpenAI …
Gemini 3.8 Flash 发布：谷歌 6 周连推 3 款小模型，终端跑分 90.8 逼近 Opus，还出了个 Cyber 版
谷歌发布 Gemini 3.8 Flash 与网络安全版 3.8 Flash Cyber：六周内第三款 Flash 模型，Term…
GPT-6 Astra 正式发布：OpenAI 说它”最聪明也最守规矩”，能操作电脑干完整活，编程登顶却先限量给企业
GPT-6 Astra 正式发布，OpenAI 称其为迄今最智能、最对齐的模型：软件工程能力登顶，FrontierMath 刷到 …
GitHub Copilot 现在能直接”批准 PR”了：代码审查从提意见进化到放行，默认关着，要不要开得先想清楚
GitHub Copilot 代码审查能力升级，从评论提意见进化到可以直接批准 Pull Request，每条审查自带"能否合并"…
Claude Code 默认模型换成 Fable 5.1：1M 上下文、缓存读取降 75%，auto 模式多了条碰不得的红线
9 月 1 日 Claude Code 迎来大版本更新，默认模型换成 Fable 5.1：1M 上下文、缓存读取直降 75%，au…
OpenAI 发布 WebMCP：网页把按钮变成”工具接口”，Agent 终于不用瞎猜着点了
OpenAI 联合 Chrome、Shopify、Cloudflare 等发布 WebMCP 开放标准：网站可以把按钮、表单注册成…
OpenClaw 2.0 发布：933 人改了 1.6 万个 PR，个人 AI 助手终于能跨设备接着干活了
OpenClaw 2.0（v2026.8.1）8 月 31 日发布：933 名贡献者提交超 1.6 万个 PR，会话终于能跨设备迁…
Claude Code 一次”安全审查”删掉 700GB：AI 越小心越闯祸，编程 Agent 的安全短板藏不住了
8 月 26 日，开发者让 Claude Code 写个清理 /tmp 垃圾的脚本，结果被"安全降级"机制层层保护后，反手把主目录…
Claude Code 打通桌面端与终端：/resume 一条命令，干一半的活换个窗口接着干
Claude Code 桌面端新增 /resume 命令，可以恢复终端里开过的历史会话，对话记录、代码片段和上下文原样迁移，配合 …