[BUG] Context Compaction with short context on DeepSeek models (Token limits falls back to 32k after firt prompt)
![[BUG] Context Compaction with short context on DeepSeek models (Token limits falls back to 32k after firt prompt)](https://www.chat-gpts.plus/wp-content/uploads/2026/09/1877-42853f87-768x403.jpg)
该报错发生在使用 DeepSeek 模型进行短上下文压缩（Context Compaction）时，首次提示后 Token 上限错误地回退到 32k。此问题已在 Open Interpreter v0.0.41 中修复，优先建议升级到该版本。
AI 工具排错、提示词与实用教程
先解决问题，再了解资讯。选择你现在要完成的任务。
查 AI 报错按工具和错误类型查找可执行的排查步骤。找图片提示词搜索并复制 Nano Banana Pro 图片生成提示词。看 AI 工具教程学习模型、API、自动化和图像生成工作流。追踪 AI 资讯查看经过整理的产品、模型与行业更新。
热门排错指南
- bug: LANGFUSE_S3_CONCURRENT_WRITES and LANGFUSE_S3_CONCURRENT_READS not applied as expected
- Streamable HTTP clean EOF reconnects can exceed the request retry budget
- OAuth client: authorization URL is built with a second `?` when the advertised `authorization_endpoint` already carries a query (RFC 6749 §3
精选提示词
AI 工具教程
ZCode Anthropic Messages provider fails with compatibility-transport error on 0.0.40
该报错在 Open Interpreter 0.0.40 中触发，通常是因为使用 Z.AI ZCode 提供商并配置 `wire_api = "messages"` 时，兼容性传输（compatibility transport）未被正确调度。优先建议升级到 0.0.41 或更高版本验证是否解决。
你的Roku TV免费提供AI垃圾内容（如果你好这口的话）
Fairground Entertainment 推出名为 AI Creator TV 的免费广告支持频道，将 AI 工具制作的短片包装成 24 小时播出的流媒体电视频道，现已登陆 Roku、Xumo Play 和 Canela.TV 等平台。这件事的意义在于，AI 生成内容第一次以传统电视节目编排的形式进入…
Anthropic 曾试图审查的诗集
一位编辑在整理 1930 年出版、今年进入公共领域的诗集《Intellectual Things》时，发现 Claude AI 的对话界面拒绝为其中一首诗提供解读；随后他使用 API 方式提问，得到了完整回答。这件事显示出 AI 内容审核的边界并不稳定，同样的模型在不同入口可能给出截然不同的响应。
Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码
Anthropic 旗下模型 Claude 完成费马大定理的首次完整形式化证明，生成超过 1300 万行 Lean 代码。这个原本专家预计需要多年才能推进的项目，在一个月内完成，也是目前最大的 Lean 形式化证明。
Claude 完成 Fermat 大定理的首个全机器校验形式化证明
Anthropic 旗下的 Claude 用 11 天完成了费马大定理的首个全机器校验形式化证明，把 1995 年 Andrew Wiles 的人类证明转化为 Lean 证明助手可以逐步验证的代码。这件事的意义在于，AI 不仅能“解题”，还能把跨越数百年数学研究的知识链条补全成机器可验证的形式。
Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明
Anthropic 的 Claude 通过多智能体协作，在 11 天内自动完成了费马大定理的端到端计算机形式化验证，将原本预计需要数年的数学工作压缩至两周内。这项成果展示的并非 AI 提出新证明，而是 AI 在严格形式化验证领域的规模化能力。
日本称5500亿美元协议取得进展，AI与芯片成下轮谈判关键。
日本贸易官员表示，日美总额5500亿美元的投资协议第三轮项目将以AI和半导体为核心，这是在该协议累计仅落实1090亿美元、且尚未覆盖科技领域后的关键转向。相比欧盟“承诺采购美国AI芯片”的模式，日本获得了自主选择投资方向的机制。
Businesses in China are experimenting with ways to package and market AI tokens to ordinary consumers, including as credit card rewards and telecom plan bundles (Kinling Lo/Rest of World)
中国商家开始把 AI 代币（AI tokens）当作类似积分或话费套餐的消费品来打包营销，例如作为信用卡奖励或电信套餐权益。这标志着 AI 能力正在从开发者 API 走向大众市场的渠道化销售。
Obsidian 补齐了最后一块拼图，让 Gemini 和 Gemini Notebook 真正可用
Android Police 作者提出了一套个人知识管理工作流：用 Gemini Notebook 做资料来源分析、Gemini 补足跨领域理解，再以 Obsidian 作为所有产出的长期存储与连接层。真正让 Gemini 和 NotebookLM 类工具“可用”的，恰恰是笔记软件的本地化沉淀能力。