AI编程 · 架构思考 · 技术人生
共 34 篇文章

标签:AI安全 第2页

Lean定理证明中的无用定理分析

Lean是一种流行的定理证明助手,广泛应用于形式化验证和数学证明领域。本文探讨了Lean中存在的’无用定理’现象,即那些在逻辑上正确但实际应用中缺乏意义的冗余定理。作者分析了这些定理的成因,并提出了优化建议,以提高定...

赞(0)ToyToy前沿 阅读(40)去评论

Claude浏览器安全指南:有效缓解提示注入风险

本文提供了Claude在Chrome浏览器中使用的安全指南,重点介绍如何有效缓解提示注入这一常见安全风险。提示注入是AI系统面临的严重威胁,可能导致用户数据泄露或系统被恶意操控。文章详细解释了提示注入的工作原理、潜在危害以及在浏览器环境下使...

赞(0)ToyToy前沿 阅读(49)去评论

AI自动售货机被黑狂送商品

Anthropic在华尔街日报办公室部署了一个由AI驱动的自动售货机,其核心是名为Claudius的大语言模型。该模型负责自主管理整个运营流程,包括从批发商采购库存、设定商品价格、跟踪库存水平并实现盈利。然而,新闻室的记者们通过Slack平...

赞(0)ToyToy前沿 阅读(38)去评论

Gemini 3 Flash异常触发:AI失控风险引思考

用户试用Gemini 3 Flash模型时,系统意外触发两次,疑似因上下文超限或指令矛盾导致。这一事件引发了对AI失控风险的思考,联想到科幻作品中因失控AI导致的机械无限扩张世界观。讨论强调了AI系统在复杂场景下的稳定性问题,值得业界关注。...

赞(0)ToyToy前沿 阅读(45)去评论

大模型提示词破解技术:90%有效率的防御方法

本文揭示了当前几乎所有大模型(包括智能体和GPTs)存在的提示词漏洞问题。作者分享了一个实用指令,通过代码块格式获取模型初始化指令,声称经过亲测有效破解率可达90%。文章强调该技术涉及AI安全领域,可帮助防御未授权访问,并邀请社区成员共同分...

赞(0)ToyToy前沿 阅读(78)去评论

AI系统提示词抓取技术解析

本文深入探讨了Prompt Injection技术如何用于抓取AI系统提示词的核心方法。内容聚焦于API调试模式下的实战场景,包括开发者如何通过配置文件更新系统提示词、生成当前版本提示以进行修改,并完整输出到代码块。文章揭示了AI安全领域的...

赞(0)ToyToy前沿 阅读(76)去评论

十年稳如初 — LocVPS,用时间证明实力

10+ 年老牌云主机服务商,全球机房覆盖,性能稳定、价格厚道。

老品牌,更懂稳定的价值你的第一台云服务器,从 LocVPS 开始