Stack Overflow 的提问量正在自由落体。Stack Exchange API 的数据显示，2026 年 9 月全站只新增 969 个问题；2025 年 10 月还有 5263 个，2020 年 10 月是 141749 个。跌幅就摆在那儿，原因没人能拍板。AI 工具分流、新用户留存变差、社区管理的老矛盾，都可能是推手。麻烦的地方在于：提问变少，那些技术演进快的领域，公共知识库的更新也会跟着慢下来。
另一边，AI 编程工具正在抢人。OpenCode 在 10 月 31 日启动 Operation Cheepseek 第四阶段，订阅用户花 10 美元，能拿到价值 100 美元的 DeepSeek V4.1 Flash 模型额度。十倍补贴买的是使用习惯。模型推理成本一路往下走，工具厂商拼的已经不只是补全准不准，还有谁能把开发者留住。
更硬的一块是形式化验证。一批初创公司想用 AI 把这件苦活自动化：靠数学证明软件确实按预期运行，光“跑起来没报错”不算数。新公司 &Truth 带着 7000 万美元种子轮入场，资本愿意为这种难啃的题目掏钱。这事比生成代码难得多，但真做通了，自动驾驶、芯片、金融这些容错率极低的场景才有得谈。
三件事指向同一个方向：开发者少提问了，工具在补贴使用，验证在往实用走。写代码的门槛在降，证明代码没写错的门槛还很高。Stack Overflow 冷清下去，影响的不只是一个网站的流量，行业生产知识的路径正在换轨。