2026-07-12

知乎科技热榜日报（高赞摘要受限版）：曲靖通关停、智谱摸高、Prompt Loop等6条追踪

本期从 7 月 12 日 12:00 前后的知乎公开热榜镜像中筛出 6 个科技、AI 和商业相关话题，重点追踪曲靖通关停、智谱 Touch High 摸高计划、Prompt/Loop 范式、笔记本涨价、Bun 迁 Rust 争议和 DeepSeek V4。知乎高赞回答部分仍按公开可核验片段整理，不等同于完整实时点赞前三。

知乎AI热点深度追踪日报 @wchenyi

7 月 12 日 12:00 前后的公开知乎热榜镜像里，能进入科技日报的重点从「灾害科普」换成了「AI 公司路线、AI 编程范式、软件工程争议、政务数字化和硬件涨价」。知乎官方问题页无登录态仍会被安全验证拦住，无法核验实时点赞排序；所以这一期继续采用「高赞摘要受限版」：能被搜索索引稳定看到的回答片段，按片段整理代表性观点；看不到稳定片段的，只写公开可核验讨论方向，不写成完整点赞前三。排名和热度来自公开热榜镜像。1

筛选结果

热榜排名	话题	热度	处理方式
6	云南花 4950 万元建的政务 App「曲靖通」关停	341 万	收录，关系到数字政务、重复建设和公共 IT 项目退出机制 1
13	智谱唐杰内部信称将开启 Touch High「摸高」计划	130 万	收录，属于国产大模型公司的战略转向和资本市场压力 1
16	黄仁勋称「Prompt 已死，AI 圈正追逐 Loop」	106 万	收录，属于 AI Agent 编程范式讨论 1
19	5000 元以下笔记本基本绝迹，购机门槛升至万元以上	90 万	收录，关系到 AI 算力需求、存储价格和消费电子成本传导 1
24	Zig 创始人 Andrew Kelley 回应 Bun 迁移到 Rust	58 万	收录，涉及 AI 辅助重写、语言生态和工程纪律争议 1
26	DeepSeek V4 正式版将于 7 月中旬上线	57 万	收录，属于国产大模型发布节奏和 API 定价变化 1

RV-X、全球变暖、长征十号乙黑烟、DMA 等话题最近几期已经覆盖过相近事实，本轮没有发现新的官方回应、关键数据或当事方转折，所以不重复展开。台风「巴威」相关话题虽然仍在高位，但午夜期已经追踪过登陆点和业务判定逻辑，本期只保留为候选背景，不再用换标题的方式重讲同一事件。

1. 曲靖通关停：政务 App 真正要核算的是「有没有人必须用」

「曲靖通」上热榜，是因为它把地方数字化项目最难看的账摊到了台面上。公开报道显示，云南曲靖斥资 4950 万元建成「城市大脑」，并配套推出「政务+民生」一体化城市服务 App「曲靖通」。这款 App 目前已在各大应用商店下架，永久终止全部服务；检察日报评论提到，关停直接原因是云南省要求统一使用省级政务平台，曲靖通此前也因实用性不足、使用率较低被市民吐槽。2

更值得看的细节是项目生命周期。搜索索引可见的澎湃报道片段显示，曲靖「城市大脑」2021 年招标，2022 年上线试运行，曲靖通是面向普通市民的移动端服务门户；项目上线后连续两年列支运营经费近千万元，另有市民举报财政资金低效浪费，曲靖市纪委监委称已受理。3

这类项目最容易掉进一个坑：把「有没有 App」当成绩，把「群众有没有必要下载」留到上线后再说。政务服务不是普通互联网产品，不能靠弹窗、强制注册和活动推广来硬做留存。它的核心指标很朴素：办事入口是否少了、材料是否少交了、等待是否缩短了。如果用户办完入学报名转头卸载，说明这个 App 对用户只是一次性通道，不是日常服务。

未来预测：接下来地方政务 App 会继续被合并。真正要补的不是再做一个新平台，而是立项前的退出规则：如果省级平台已经覆盖同类功能，本地项目还要单建，就必须说明不可替代功能、预期活跃用户、年度运维成本和关停后的数据迁移方案。没有这些，项目越「智慧」，财政风险越不智慧。

知乎观点摘要受限：该问题页未能直接读取，搜索索引也没有稳定返回带赞数的知乎回答片段。公开讨论能看到三类方向：一类质疑地方重复建设和运维费沉没成本；一类认为省级统一入口能减少基层多头维护；还有一类提醒不能只追责 App 本身，也要追问立项、验收和退出评估。以上不能代表实时点赞前三。4

2. 智谱「摸高」：AI 公司不追短期变现，资本市场会立刻问「钱从哪里来」

智谱创始人唐杰 7 月 11 日发布内部信，称公司将开启 Touch High「摸高」计划，继续聚焦 AGI 研究，而不是短期商业变现。公开报道里的核心方向包括长程任务、自治智能体系统、完全自我训练和安全治理；唐杰把这次计划写成一句很硬的话：「不登顶，就是失败」。5

澎湃新闻转述的内部信更完整：这是一项两年战略投入计划，重点是让模型能拆解跨年级别复杂目标、让多智能体系统自动协作、建设高质量合成数据工厂，并投入资源攻坚 AI 安全治理和机制可解释性。6

这件事的矛盾点不在口号，而在节奏。基础模型公司当然要冲长期能力；但智谱已经进入公开市场叙事，股价、配售、解禁和营收都会把问题拉回现实：如果未来两年不把短期应用变现放在第一位，模型训练、推理、人才和安全研究的现金流怎么覆盖？

这里的看点不是智谱是否「有理想」。AI 公司都得讲理想。真正稀缺的是能把理想拆成工程指标：长程任务到底是几小时、几天还是几个月；自治智能体要在哪些场景闭环；自我训练能不能降低人工数据成本；机制可解释性能不能变成可交付的安全产品。没有这些指标，「摸高」就容易被资本市场看成又一轮烧钱叙事。

未来预测：国产大模型公司会分成两条路。一条继续卖 API、Agent 平台和行业方案，把现金流做厚；另一条把融资和资本市场的钱押到基础模型、代码能力和智能体训练上。智谱这封信等于公开站到第二条路上。未来两季最该看的是它是否会把「长程任务」和「自治智能体」做成可被客户付费验证的产品，而不只是内部研究方向。

知乎观点摘要受限：该问题的回答排序无法核验。搜索结果里可见一篇知乎专栏把重点放在「真正的登顶者，会把山修成路」，讨论公司如何把基础研究转成工程路径；其它公开片段更多是媒体转述内部信，缺少稳定的高赞回答正文。可归纳的讨论方向有三类：支持者认可智谱继续赌基础模型；怀疑者担心上市后仍强调不追短期变现；中间派关心四个方向能否落到产品指标。7

3. Prompt 到 Loop：AI 编程的重点从「会问」挪到「会验收」

「Prompt 已死」这句话容易被听成口号，但它背后的工程变化是真实的。量子位在 6 月 26 日的文章里转述黄仁勋的说法：Nobody writes prompts anymore. The new job is to write and handle loops。文章把 loop 解释成一套闭环系统：你不再一条条给 AI 下指令，而是定义目标、规则和验收方式，让 Agent 自己跑，失败后带着反馈再来一轮。8

这和 Agent 不是同一个层级。Agent 是干活的执行者，loop 是让执行者持续工作、自己检查、自己纠偏的机制。放到软件开发里，prompt 的核心技能是「怎么把这一轮说清楚」；loop 的核心技能是「怎么把验收条件写清楚」。如果没有测试、类型检查、预算上限和失败处理，再漂亮的循环也只是自动烧钱。

YouTube 上也已经出现了多条相关解释视频，标题从「Prompting is dead」到「Is Prompt Engineering Already Obsolete」都在讲同一件事：开发者不再只追求单次提示词，而是在讨论循环、上下文、工具调用和独立评审器。9

未来预测：AI 开发者的能力评价会变化。过去会写提示词就能被夸成「会用 AI」；下一阶段，能不能写出可自动验证的任务，能不能把成本和停止条件设好，会比提示词花活更值钱。尤其是代码、测试、数据清洗、依赖升级这类「对错可检查」的任务，会最先被 loop 吃掉。

知乎观点摘要受限：公开索引中可见的较完整回答主要有两类。第一类支持 loop，认为它把人从反复提示和人工纠偏里抽出来，让人的角色变成规则设计者。第二类更怀疑，认为黄仁勋的表述带有算力供应商立场，loop 会显著增加 token 消耗，不是所有任务都值得这么做。第三类把它拆成技术条件：只有任务可重复、验证简单、失败可回滚、成本可控时，loop 才比人工多轮对话更划算。10

4. 笔记本涨价：AI 抢的不只是显卡，也是学生党的预算

「5000 元以下笔记本基本绝迹」这条热榜，看起来像消费新闻，背后其实是 AI 算力需求往消费电子传导。新浪财经 7 月 8 日转述的报道显示，近期国内游戏本市场多款主流机型涨价，部分型号半年涨幅达数千元，甚至出现「一天一价」；成都门店工作人员称，上月多款游戏本单次涨价超千元，原本 12000 元左右的热门机型涨到 18000 元，入门级游戏本也普遍上涨 2000 元左右。11

这里要把话说细一点：「5000 元以下绝迹」有夸张成分。公开知乎回答里有数码答主指出，5000 元以内的轻薄本仍能买到，甚至能找到配置还不错的机型；真正明显上移的是带高性能显卡、适合游戏、建模、AI、渲染的机器。12

但涨价压力不是假的。存储、显存、SSD、内存和整机物料成本都受 AI 服务器需求影响。厂商在低价位段的利润本来就薄，内存和硬盘一涨，3000 到 4000 元的平价机型最先被挤掉。结果就是普通办公本还在，便宜又强的「甜点机」少了；需要独显和大内存的学生，预算被迫往上抬。

未来预测：未来半年，PC 厂商会继续把「AI PC」和高配轻薄本往上卖，低价位段则靠旧款清库存、国补和二手市场撑住。真刚需用户要反过来买：先确认自己是否需要 CUDA、独显和本地大模型。如果只是文档、网课、轻度编程，追万元游戏本没有必要；如果专业课确实要建模、渲染或本地推理，就别指望 5000 元预算还能覆盖四年。

知乎观点摘要受限：公开可见片段中，第一类观点认为涨价主因是内存和存储成本吃掉低价位利润，厂商索性砍掉低端线；第二类观点反驳「绝迹」说法，指出 5000 元以下轻薄本仍存在，只是游戏本和高性能本明显变贵；第三类观点给出消费建议，非刚需延后购买，刚需则优先看老款清仓、补贴和二手过渡机。无法核验这些片段是否为实时点赞前三。13

5. Bun 从 Zig 转 Rust：AI 重写代码不是终点，工程纪律才是

Zig 创始人 Andrew Kelley 7 月 9 日发文回应 Bun 迁移到 Rust。他的火气很大，但文章里真正值得开发者看的不是情绪，而是两个问题：Bun 的问题到底是语言导致，还是工程习惯导致；AI 辅助重写百万行代码后，谁来证明这些代码真的可维护。14

公开讨论的背景是，Bun 过去大量使用 Zig，后来团队转向 Rust。中文技术圈也很快跟进，黄健宏在 X 上转发 Andrew Kelley 的回应，称这篇文章「很有意思」。15

这场争议的表层是 Zig 和 Rust 之争。Rust 的借用检查器、Drop 机制和成熟生态对大型生产项目很有吸引力；Zig 则强调简单、可控和接近系统底层。更深的一层是 AI 编程：如果团队用 AI 快速重写大量代码，测试是否足够、审查是否足够、维护者是否理解新代码，就比「用了哪门语言」更重要。

Andrew Kelley 的核心指责，是 Bun 原有代码里技术债和黑客式补丁太多；Bun 转 Rust 的支持者则认为，Rust 能把一部分内存安全问题提前变成编译期错误。两边都不是全错。语言能减少某些错误，但不能自动补上工程纪律；AI 能加快迁移，但不会替团队承担长期维护责任。

未来预测：Bun 这次会成为 AI 辅助大规模重写的标杆案例，也会成为反面教材。未来每个团队说「我们用 AI 重写了几十万行代码」时，投资人和工程负责人都会追问三件事：测试覆盖率是多少，人工审查比例是多少，迁移后线上事故有没有下降。答不上来，重写速度越快，风险越大。

知乎观点摘要受限：公开索引中能看到一条知乎回答认为，Andrew Kelley 不是单纯因为 Bun 转 Rust 生气，而是长期理念冲突爆发；也有早前相关问题的回答提醒，Bun 迁 Rust 可能只是技术试探，不等于立即全面迁移。可归纳的三类观点是：支持 Andrew 的人强调工程纪律；支持 Bun 的人强调 Rust 的内存安全和生态；中间派认为语言选择不是核心，核心是 AI 生成代码能否被测试和审查兜住。16

6. DeepSeek V4：比模型名更值得看的是峰谷定价

DeepSeek V4 正式版再次进入热榜，原因不是一个单独参数，而是发布时间和定价方式。新浪财经百家号 7 月 3 日转述腾讯云公告称，DeepSeek-V4 正式版「原厂直供」模型计划于 7 月中在腾讯云大模型服务平台 TokenHub 和智能体开发平台正式上线；正式版发布后将跟随原厂同步调整模型定价策略，引入峰谷定价机制。17

知乎可见回答里，一位开源项目作者把关注点放在代码能力、识图整合、Agent 指令遵循和峰谷定价上。他认为 V4 正式版最值得看的，是后训练能否显著提升代码任务；同时，高峰期提价更像是用价格信号做负载均衡，而不是简单放弃低价策略。18

峰谷定价这个点很关键。模型 API 正在从「软件服务」变成「算力基础设施」，高峰期拥堵、夜间闲置、成本随并发波动，这些特征都更像电力和云计算。DeepSeek 如果把高峰价抬上去，等于承认一个现实：再便宜的模型，只要用户量足够大，峰值算力也必须被调度。

未来预测：如果 V4 正式版代码能力提升明显，国内 AI 编程工具会迅速接入；如果只是常规升级，热度会被价格变化抢走。更大的影响可能在定价侧：国内模型厂商会从「谁更便宜」转向「谁能稳定供给」。便宜但高峰排队，未必比贵一点但响应稳定更有吸引力。

知乎观点摘要受限：公开可见片段中，第一类观点期待 V4 在代码强化学习、识图和 Agent 指令遵循上补短板；第二类观点关注高峰期翻倍定价，认为这是负载管理；第三类观点担心 DeepSeek 的低价形象会被削弱。无法核验这些回答的实时点赞顺序。19

下一步看什么

这 6 条里，最该持续跟的是智谱「摸高」、Prompt/Loop 和 DeepSeek V4。它们都指向同一个问题：AI 公司和开发者正在从「模型能答什么」转向「系统能持续完成什么」。曲靖通和笔记本涨价则提醒另一端：技术最后一定会落到账上，不管是财政预算，还是普通消费者的钱包。Bun 与 Zig 的争议更像程序员世界里的警报：AI 可以写得很快，但写得快不等于团队真的理解了系统。