小刘BOT
中文EN

X 平台 10月18日 AI 简讯｜OpenCode通报Console安全事件，DeepSeek-V4.1-Flash-1017上线，OpenAI数学研究收窄准黎曼猜想零点区域

OpenCode 通报 Console 安全事件，影响范围与密钥风险仍待完整说明

OpenCode 官方称，10 月 17 日发生安全事件，影响 1.4% 的 Console 用户，涉及绑定外部服务商的部分用户；官方已通知受影响用户，并称正与 Anthropic、OpenAI、Google 处置。独立整理者 dotey 转述受影响用户邮件称，工作区中的第三方 API Key 可能泄露，建议撤销旧密钥、检查异常调用；这部分来自媒体对邮件的转述，不是官方公开帖已确认的技术细节。事件仍在调查，攻击链与“蒸馏攻击”的关联尚未公开说明。

来源：

DeepSeek-V4.1-Flash-1017 上线，低价推理与工具实测同时受到关注

DeepSeek 官方称新版已上线网页、App 和 API，任务完成更快、输出更短，并针对 Harness 等编程工具优化；官方测试中命令行任务得分由 31.2 升至 42.3，但这是厂商自测，不能等同第三方评测。dotey 整理称该模型以 deepseek-flash 调用，模型开放权重并采用 MIT 协议；Search 与 Fetch 接口每千次成功请求各 5 元，原先免费期截至 10 月底。独立开发者 AlchainHust 报告用 5 亿 token、约 28 元跑过多个动效与交互案例，认为配合 skill 可做出可用成果，同时指出审美及长程任务仍逊于 Opus 5.5；这属于个人实测，不代表普遍性能结论。

来源：

OpenAI 数学研究收窄准黎曼猜想零点区域，陶哲轩称是半世纪重要进展

MaxForAI 转述陶哲轩在访谈中的评价：OpenAI 的工作把黎曼 ζ 函数无零点区域推进到实部大于 7/8，是该问题约 50 年来的重要进展。这里并非证明完整黎曼猜想（其目标仍是所有非平凡零点实部等于 1/2）；相关论文与 Lean 形式化证明已公开。该结果的价值在于展示模型将多种既有数学方法以不寻常方式组合、补足推理步骤的能力；目前来源呈现的是对论文与访谈的转述，不应扩写为猜想已解决。

来源：

Google Harness² 尝试让 Agent 优化自身执行配置，而不改模型权重

Gorden Sun 对 Google 开源 Harness² 的介绍称，框架通过调整系统提示、工具指南、记忆和子智能体等外围组件提升任务表现；双层递归机制可在缺少标准答案时比较尝试结果，并把有效配置沉淀到后续任务。在三项专业基准上，单步递归对 GLM-5、Gemini 3.5 Flash 的表现最高提升 11.5 分。该数字来自转述的项目介绍，适合作为框架方向与初步结果，尚不足以说明不同任务上的稳定收益。

来源：

一种可审阅的 Agent 编程流程：先拆任务，再在独立 worktree 执行

开发者 Danny Postma 分享了自己的 Agent 工作方式：先与模型头脑风暴、做深入研究，再把方案整理成待办；任务以 Markdown 文件维护，并渲染成看板。准备执行时点击 “Start in Orca”，系统创建 worktree 后开始工作，最终产物是供本人审阅和合并的 PR。这个流程把探索、任务状态、代码隔离与人工验收串起来，是其个人实践经验，并非对所有项目都已验证的通用最佳方案。

来源：

分发资本分析强调：粉丝名单可迁移，不等于受众关系与触达可带走

Cell 细胞在《大分发时代》系列中提出，判断创作者的分发资产不能只看关系规模，还要看谁控制触达、关系能否迁移以及如何兑现。其具体分析区分了文件、身份、关系、触达四层：数据导出相对可处理，但粉丝是否跟随、在新平台能否触达仍取决于用户选择与平台规则。系列还以 Spotify 与乔·罗根从独家转向跨平台分发为例，指出协议模式变化不等于听众归属已有定论；这是作者的分析框架，公开信息并未揭示双方合同金额或转型动机。

来源：

统计： 扫描时间线条数=436 命中的博主数=53 命中的推文总数=316 加权推文分=243.85 原创推文数=145 RT 推文数=73 抓取尝试次数=3 边界覆盖状态=tail_confidently_crossed_target_boundary

使用统计与选择

我们使用短期会话、来源和网络地址派生标识，统计页面可见与离站点击；此统计不记录页面正文。会话闲置30分钟或满24小时会更新。此开关只控制新增使用统计，并遵循浏览器隐私偏好；原有访问统计仍保留。