一位没有接受过系统高阶数学训练的神经外科博士生，借助 GPT-5.6 解决了矩阵分析领域悬置多年的 Crouzeix 猜想，并已通过提出者本人的验证。这件事的特殊之处不在于“AI 替人类证明定理”，而在于一个非专业研究者靠 AI 完成了传统上需要多年学术积累才能触及的数学突破。
一个名为 Vault Operator 的 AI Agent 不再停留在聊天弹窗里，而是直接嵌入用户的 Obsidian 知识库，能读取笔记图谱、跨会话记忆并代写文件。它展示了一条与“通用聊天助手”不同的产品路线：把 Agent 放进个人知识库内部，让每一项操作都可追溯、可撤销。
DeepSeek 为 V4-Flash 和 V4-Pro 引入高峰/非高峰分时定价，非高峰时段价格下调，但高峰时段价格大幅上浮，对欧美用户而言相当于变相涨约 2 倍。这标志着大模型 API 定价从“统一价”走向“分时计价”的新阶段。
智谱 AI 发布 GLM-5.3，一个在 GLM-5.2 基础上通过扩展后训练升级的开源权重编码模型，官方称其代理型任务能力显著增强，并新增网络安全漏洞挖掘能力，权重将在安全审查后开源。
这期播客围绕扎克伯格对AI安全的新论述、AI检测器Pangram的可用性突破，以及AI在数学推理上的进展展开，三个话题共同指向AI从“能用”到“可信可用”的当前阶段。
《社交网络》编剧 Aaron Sorkin 说他对 AI 很乐观，理由并非技术前景光明，而是他判断 AI 做不出真正有情感连接的好艺术。这位资深创作者的判断本身，代表了内容产业对 AI 生成作品的另一种态度，比单纯讨论技术能力更值得留意。
《大空头》原型人物 Michael Burry 在 Substack 上公开表示，当前围绕 AI 的乐观叙事让他联想到 2000 年互联网泡沫和 2007 年房地产泡沫，并警告大型科技公司为算力建设投入的巨额资本可能会让投资者付出沉重代价。
DeepSeek 发布 DeepSeek Harness 开发者预览版，采用 MIT 许可证，核心设计是“每个能力都是插件”且可替换。对开发者而言，这意味着 AI 应用开发可能从“整体调用”走向“按需组装”。
Android Police 作者用 Gemini 把法国设计师的造型拆解成可执行的制衣方案，并通过本地裁缝以不到 50 美元完成制作。这件事展示了生成式 AI 从“聊天工具”走向实际生活决策辅助的新场景。
该问题发生在 llama-server 的 per-sequence slot 状态恢复失败后，同一进程内的后续 completion 会持续损坏或返回空结果，重启进程才能恢复正常。优先排查 KV cache 的 slot 恢复/回滚路径，而不是模型或硬件配置。