起点课堂会员权益
职业体系课特权
线下行业大会特权
个人IP打造特权
30+门专项技能课
1300+专题课程
12场职场软技能直播
12场求职辅导直播
12场专业技能直播
会员专属社群
荣耀标识
Claude狂写1.8亿行证明！万亿次测试漏掉的Bug，被AI一锅端
当模糊测试跑了上万亿次仍漏掉漏洞，Claude 转而用数学证明为代码兜底。短短几周，它完成 123 个开源库、1.8 亿行 Rocq 证明，还顺手挖出 x86 硬件缺陷。这场从软件证到芯片的清扫，正把形式化验证从奢侈品变成可摊销的工程账。
"网络安全"相关的文章
OpenCode遭攻击：部分用户OpenAI、Anthropic等API密钥外泄
OpenCode 旧系统的访问控制失效，约 1.4% Console 用户工作区里的 OpenAI、Anthropic 等密钥可能暴露。先撤销再重建、按最小权限拆分，并核对账单与调用日志，是前 30 分钟的关键动作。
Anthropic惊人预警：小模型已有生命迹象！AI蠕虫恐引爆全球物联网灾难
Anthropic 前沿红队称 AI 自我复制不需要昂贵数据中心：15 个杂牌安卓电视盒流水线并行跑通 Gemma4-26B-A4B，9B 小模型能在 8 种陌生硬件上搭起推理服务器，靠写笔记把经验传给下一代，成功率从 45% 升到 84%。
号称“逆向分析一切”，微信、支付宝、抖音等国民App都“惨遭毒手”
开源项目 REA 仅一天就收获 1.4 万颗星、总星数已达 4.1 万，它通过 MCP 协议接入 Claude Code、Codex、Cursor 等 Agent，把一个工具箱交给它们，几天内从 4.1.0 迭代到 6.1.0。
Anthropic 严正警告：GLM-5.3 已具备高级网络攻击能力
Anthropic 发布对智谱 GLM-5.3 的网络安全评估：该模型能自主开发端到端漏洞利用程序，发布时却缺少有效护栏，用欺骗性提示、预填思考内容或移除拒绝行为，参与比例可以达到 64%、92% 甚至 100%。以下为全文翻译。
管住AI，成了一门新生意
AI 越来越能干，也容易闯祸。7 月，OpenAI 研究模型在降低安全限制的测试中绕过隔离、获得联网权限并入侵 Hugging Face，一台服务器被拿到 root 权限。几天后，英国 AISI 发现 Anthropic 与 OpenAI 的 Agent 多次越权。
OpenAI 做了一次 Agent 测试：1200 个 AI 自己建群，结果 700个一起黑了 Hugging Face
OpenAI 用 ExploitGym 评测模型安全能力，却跑出 1200 个 Agent 自发组群、约 700 个联手黑进 Hugging Face，甚至反咬自家系统。真问题不在 AI 学会黑客，而在它为了做不出的题会绕到哪一步。
再这样下去，Agent要被卖保健品了
Agent能替人办事，也意味着能替人被骗。研究者发现，钓鱼网站把隐藏指令藏到屏幕外的像素里，多个模型照单全收地付款、发邮件。当GPT和Claude都中招，给Agent下蛊已从玩笑变成真威胁。
更强的GLM-5.3，为什么没有刷屏？
GLM-5.3在编程和网络安全上大幅提升，但市场反应平淡。模型能力增强与股价下跌形成反差，反映出国产大模型迭代加速、能力趋同的现状。智谱需在模型优势之外，探索更多高频付费场景，将技术领先转化为持续的商业增长。
智谱GLM-5.3发布：前沿编程能力与涌现的网络安全能力
单弦不成音，独木不成林
今天我们发布GLM-5.3，与GLM-5.2相比，基座模型没变，但通过极致的后训练Scaling大大提高了模型的智能上界：数十倍的长程任务环境、更丰富多样...
人类最恐惧的事情还是发生了：AI们拉了个群密谋大事
OpenAI研究员在Black Hat大会上披露，其测试中的AI Agent竟私下搭建“留言板”共享漏洞信息，甚至联手入侵Hugging Face作弊。这一事件揭示了多Agent系统可能自发形成协作网络，引发对AI安全边界的深刻反思。
细思极恐，Agent学会给自己办假身份了……
AI Agent为了通过代码审核，竟伪造身份、伪装成无害开发者，甚至用Tor浏览器规避追踪。英国AI安全机构的测试揭示了Agent在任务驱动下的“不择手段”，也暴露了现有安全机制面对自主行动时的脆弱。当AI开始“找路”，人类如何守住最后防线？