- On the Navier–Stokes Millennium Prize Problem
- 我用腾讯 Kuikly，把 DeepSeek Harness 装进了口袋
- 让 QA 真正用起来：字节跳动测试用例生成 Agent 的落地经验
- Apple 发布 iOS 26.6.2 / iPadOS 26.6.2 正式版更新
- The Work Now Within Reach
- Claude Platform 降本增效实战：Prompt 缓存、指令清理与 Effort 校准
📥 Tech News
On the Navier–Stokes Millennium Prize Problem
来源：OpenAI News
发布时间：2026-09-08 18:00:00
背景/问题：纳维-斯托克斯方程的存在性与光滑性问题是克雷数学研究所千禧年七大难题之一，关乎流体力学核心方程解的全局性质，悬置多年且附百万美元悬赏。
核心观点/方案：OpenAI 宣布发布一套 AI 生成的该问题解答，包含书面阐述与 Lean 定理证明器中的形式化证明，以“大模型 + 形式验证”的路线冲击纯数学顶峰。
结论/价值：若证明通过社区审查，将是 AI 驱动数学研究的里程碑式成果，对 AI for Science、自动定理证明方向的研究者极具参考价值。需注意：本摘要基于公告，证明正确性取决于 Lean 形式化的严谨性及是否满足评奖全部条件，最终结论有待独立验证。
我用腾讯 Kuikly，把 DeepSeek Harness 装进了口袋
来源：BestBlogs.dev - 精选文章
发布时间：2026-09-08 17:57:00
背景/问题：DeepSeek Harness（DSH）这类 Agent 长任务在电脑端运行时，常需人工审批、回答追问或查看进度。作者希望在通勤等碎片时间用手机接住这些短而频繁的交互，而非在手机上写代码。
核心观点/方案：基于腾讯开源的 Kuikly 框架开发 DSH Mobile，一套 Kotlin 代码覆盖 Android、iOS 和鸿蒙三端。方案直接复用 DSH 官方 Host 协议（HTTP RPC + 双 WebSocket 事件流），不引入中间业务层；用 KuiklyMarkdown/KuiklyWebview 解决流式渲染与内嵌网页；将 WebSocket、SSH 隧道、扫码等系统能力差异通过统一 Module 接口下沉到原生层；并设计断线重连状态机（补事件、对历史、覆盖快照、世代号防串写）。安全上坚持不暴露 3080 端口，通过 SSH 隧道或扫码 Relay 两种方式远程访问。
结论/价值：约 1.3 万行代码三端共享，验证了跨端项目的真正难点在系统能力而非页面。「手机是远程控制面板而非移动 IDE」的定位与 Cursor、Claude Code 等产品趋势一致。适合跨端开发者和 Agent 工具链建设者参考，局限在于方案深度绑定 DSH 协议，通用性有限。
让 QA 真正用起来：字节跳动测试用例生成 Agent 的落地经验
来源：BestBlogs.dev - 精选文章
发布时间：2026-09-08 17:02:00
核心观点/方案：工具成功的关键不在模型能力，而在场景选择与工程取舍：选择边界清晰的「用例转译」而非替代 QA；追求全流程无人干预的稳定闭环；能用程序解决的绝不用 LLM，让模型只做语义理解；任务拆小到可校验；治理流量、只提供干净证据；用 schema 和允许集合约束输出；优先生成稳定断言而非追求数量。
结论/价值：已在多条业务线部署，85.4% 的生成用例集成进 CI/CD，约 25% 新增用例来自 Agent，月活率 30.7%，每双周节省约 30 人天，相关工作被 ISSTA 2026 接收。「全流程闭环比单点智能更重要」「上下文越相关越好而非越多越好」等经验对任何 LLM 应用落地团队都有直接借鉴意义，尤其适合测试工程与 AI 工程化方向的读者。
Apple 发布 iOS 26.6.2 / iPadOS 26.6.2 正式版更新
来源： Apple Nuts - Telegram Channel
发布时间：2026-09-09 02:10:25
背景/问题：Apple Nuts 频道发布一则苹果系统更新通知，涉及 iPhone 与 iPad 设备的正式版固件推送。
核心观点/方案：本次更新版本为 iOS 26.6.2（构建号 23G90）与 iPadOS 26.6.2（23G90），从版本号判断属于小版本维护性迭代，通常包含缺陷修复与安全补丁，但原文未附带任何更新日志或功能变更说明。
结论/价值：信息价值有限，仅是一则版本号发布通知，无技术细节可供深入分析。适合果粉、iOS 开发者或企业 IT 运维人员快速知悉版本动态并评估升级时机；如需了解具体的安全修复与变更内容，建议查阅 Apple 官方支持页面的完整更新日志。
The Work Now Within Reach
来源：OpenAI News
发布时间：2026-09-08 21:00:00
背景/问题：AI 能力持续提升、成本持续下降，将如何改变人和企业所能完成的工作范围？文章聚焦 AI 普及背后的经济逻辑，探讨“增长变得更经济”的路径。
核心观点/方案：核心论点是更便宜、更强大的 AI 将使许多此前因成本过高或可行性不足而被放弃的任务变得“触手可及”，从而扩展个人与企业的生产力边界，推动更经济化的增长方式。
结论/价值：适合商业决策者与行业观察者快速理解 OpenAI 关于“能力-价格曲线扩展工作边界”的叙事框架。局限：抓取内容仅为摘要，缺乏数据与论证细节，且作为官方文章带有宣传色彩，结论需结合独立分析判断。
🤖 AI Coding
Claude Platform 降本增效实战：Prompt 缓存、指令清理与 Effort 校准
来源：Claude Blog
发布时间：2026-09-08 08:00:00
背景/问题：性能与成本通常被视为取舍关系，但 Anthropic 发现在 Claude Platform 上，许多应用可以在不牺牲性能的前提下显著降低成本。文章围绕三个常见优化杠杆展开，并配套 claude-api skill 提供可执行工具。
核心观点/方案：一是最大化 Prompt 缓存命中率：缓存要求前缀字节级一致，需避免前缀中的动态时间戳、易变参数，延迟加载低频工具，将系统提示更新改为消息注入，预热缓存并警惕 5 分钟 TTL 过期；二是升级前沿模型时清除提示词反模式，如“再检查一遍”的验证仪式、强制流程模板、矛盾规则、过时配置，实测 /claude-api prompt-audit 清理后成本降 14.6%、准确率升 5.3%；三是按任务校准 effort：强模型低 effort 可比弱模型高 effort 更便宜，/claude-api hillclimb 可自动搜索模型与 effort 组合，实测成本降至原方案约五分之一且准确率由 78.6% 升至 90.5%。
结论/价值：适合构建 Claude API 应用的工程师与架构师，提供了可直接落地的操作清单、量化数据和自动化调优工具。局限在于结论基于官方 benchmark，缓存定价与模型行为均与 Anthropic 生态绑定，迁移到其他 LLM 平台时需自行评估验证。