编码模型数据枯竭？PL 学者提出「意图计算」新范式破局
LingmingZhang · x · 2026-09-03
Grigore Rosu（转发自 Lingming Zhang）发推警告：LLM 编码能力高度依赖代码数据，而业界已近乎耗尽高质量代码训练与评测数据，进步明显放缓——谁找到下一个大数据池，谁就握有新大门的钥匙。
Rosu 的团队来自程序语言与形式化方法领域，他们认为知道这个数据池在哪里，并提出新范式 intent computing（意图计算）：
- 代码应与其规约（specification）和机器可验证的证明一同交付；
- 这样就不再需要花费人力去逐行审查代码本身，AI 回答的形态因此改变；
- 团队称已进行多项实验，更多细节待展开。
这一思路把形式化验证产出的「代码+证明」视为下一批高质量训练数据来源，是对「代码数据枯竭」论的正面回应。
「编程与Agent」频道最新
- 用 Blender MCP 教机器人小鸭滑滑板，尺寸全由机器人自定 — TinfoilTricorn · 2026-09-03
- Alex Zhang：编码 Agent 已能扮演递归语言模型，只是默认不这么用 — CShorten30 · 2026-09-03
- 斯坦福今秋首开 CS329Z 课程,手把手教从零构建 AI Agent — Diyi_Yang · 2026-09-03
- Apps Script 触达 Gemini 托管 Agent,产物流式写入 Google Drive — rseroter · 2026-09-03
- 研究团队构建 Software World：由 Agent 协作运营的 GitHub — dan_fried · 2026-09-03
- Brewale：给多 Agent 团队统一管理 MCP、技能与规范的工具 — Ankerstjerne12 · 2026-09-03