告别AI幻觉：为何Lean 4成为科技巨头构建可信AI的新护城河
大型语言模型（LLM）的幻觉问题限制了其在金融和医疗等高风险领域的应用。Lean 4作为一种开源的形式化验证工具，通过严格的数学证明为AI系统引入了确定性和安全性。文章探讨了OpenAI、Meta及初创公司Harmonic AI如何利用Le...
标签索引 / 第 77 页
人工智能
这个标签下有 1711 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
对标微软 Recall：开源工具 CarbonPaper 让非 Copilot+ 电脑也能实现 AI 截屏搜索
针对微软备受争议的 Recall 功能仅支持 Copilot+ PC 的现状，开发者推出了名为 CarbonPaper 的开源替代方案。该工具打破了硬件壁垒，利用普通 CPU 和 GPU 即可完成图片 OCR 和向量索引，使用户能搜索历史屏...
Grok API 遭遇多模态瓶颈：图片生成导致后续对话中断
近日，有开发者在技术社区反馈了 xAI 旗下 Grok 模型 API 存在的一个技术性缺陷。在使用过程中，当 AI 在对话中生成了包含图片的信息后，若用户尝试继续追问或进行下一轮对话，系统会报错提示“仅支持txt格式”，从而导致交互流程被迫...
Google Gemini 3.1 频繁“自爆”：思维链泄露现象加剧
近期有用户在 Linux.do 社区反馈，Google 最新发布的 Gemini 3.1 模型似乎无法有效隐藏其内部推理过程。相比于之前的 3.0 版本，Gemini 3.1 更频繁地出现“思维链（CoT）泄露”情况，直接将原本应隐藏的系统...
为何刷新页面是AI聊天机器人的噩梦？深度解析SSE架构的局限性
本文剖析了当前主流AI应用（如Claude）在架构设计上的痛点。尽管模型性能飞速提升，但底层传输协议SSE（服务器发送事件）的无状态特性，导致用户刷新页面时会丢失正在生成的响应流。作者通过对比演示指出，基于WebSockets和Pub/Su...
A16Z合伙人狠批“AI编程一切论”：盲目重构软件是浪费，科技股被错杀
知名风投机构A16Z的合伙人Anish Acharya公开反驳了“我们将通过AI进行‘氛围编程’完成所有工作”的观点。他在播客中指出，虽然AI能力强大，但将其用于重建企业的ERP或CRM等成熟软件是不明智的，因为软件成本仅占公司总支出的8%...
突发故障：谷歌Gemini用户报告多年聊天记录凭空消失
据社区用户反馈，谷歌Gemini近日疑似发生严重的数据存储故障。多名用户发现，自己在网页和App端的长时间使用记录——包括累积了一年多的对话历史——突然全部清零，仅剩下当天的零星对话。这一现象引发了用户对于云端AI产品“记忆”可靠性的极大担...
Google 变相限制 Gemini 深度研究功能：配额改为 4 小时重置，算力缺口引发热议
用户反馈 Google 的 Gemini Deep Research 功能使用策略已悄然调整。原本“每日 20 次”的固定限额似乎已改为“每 4 小时”计算一次，且部分用户报告称在研究中途遭遇失败，但仍被扣除使用次数。分析认为，这可能与近期...
如何测试大模型的“谄媚”倾向？一种针对Gemini的烟雾弹战术
针对大语言模型普遍存在的“谄媚”问题（即模型倾向于迎合用户观点而非提供客观事实），有开发者分享了一种测试 Gemini 模型的“烟雾弹”战术。该方法通过预先声明与素材无关或对素材进行严厉批评，随后观察模型反应，若模型试图“洗白”或辩护，则被...
谷歌Gemini疑似启动新一轮大规模封号潮，AI账号安全引担忧
据科技社区最新线报，谷歌Gemini正经历新一轮的账户清洗行动，疑似大规模封禁潮已启动。目前已有不少用户反馈账号出现异常，具体的封号触发机制及影响范围尚在统计中。这一现象并非首次发生，随着大模型服务从试水转向成熟阶段，平台方对账号合规性、使...