AIVF '26 · 智能体产业研讨会
✦ 金句墙 · HIGHLIGHTS

一句话看懂这场论坛从 22 场分享与圆桌中提炼的核心金句 · 点击任意金句进入该场纪要

主题一

Agentic AI 愿景与软件工厂

7 句
未来的现代公司，核心只有两个人——一个面向市场定义问题，一个调度 agent 解决问题。
蒋涛硅基时间时刻 · 09:10–09:25
工业 AI 落地，差的从来不是智能，而是一个能让 AI 读懂这家工厂的数据底座。
陶建辉AI 在工业场景落地的挑战 · 09:25–09:40
软件的终极形态是 agent + info；会话与记忆，本该是底座的事，而不是开发者的事。
刘向阳多云统一 Agentic Infra · 09:40–09:50
AI coding 只是 AI Dev 的一个环节——软件真正的成本，从来在写代码之外。
潘爱民AI Dev 方法与实践 · 09:50–10:00
写代码只占 20–30%，剩下 70% 是大规模上线；在金融场景，合规是奢侈品，不是花钱就能买到的。
余锋（褚霸）蚂蚁 Agentic AI 基建挑战和实践 · 10:00–10:10
Agent 正从 builder 走向 factory——瓶颈从「能不能用」迁移到「可不可治理、可不可交付」。
申路伟全球智能体产业发展与亚信本土实践 · 10:10–10:20
传统软件正沦为被 agent 调用的下游工具——软件设计，要从「为人」转向「为 agent」。
李建忠 主持 · 圆桌Panel：Agent 如何重构软件 — 从 AI 辅助到 AI 原生 · 10:20–11:10
主题二

Agentic AI 软件工程方法论与形式化验证

6 句
代码不会消失，但会退居幕后；智能体的世界，反而更需要透明的规则与秩序。
彭鑫智能化软件发展的机遇与挑战 · 11:10–11:25
需求终将被源码化——像编译器一样，把自然语言需求「编译」成可运行的系统。
林云需求编译与软件工厂 · 11:25–11:40
当语言主要写给 agent 用，「开发者体验」会贬值，而安全与可靠会升值。
冯新宇AI 时代的编程语言演进（Rust / 仓颉 / TypeScript） · 11:40–11:55
用 AI 做项目的学生，成果到了研究生水平，能力却在下降——产出在涨，人却在退。
陈渝Rust AgentOS · 13:00–13:15
在人命攸关的系统里，形式化不是锦上添花，而是底线；而人，要做 AI 的守门人。
董劲松（Jin Song Dong）Formal Method by Agents · 13:15–13:30
智能体能补上「人的通用能力」，却补不了某个项目特有的复杂系统知识——这两件事，正交。
杨子江 主持 · 圆桌Panel：Agent 软件工程的理论基础与工程实践 · 13:30–14:30
主题三

Agent 开发实践

4 句
验证比生成便宜——只要正确率不为 0，可验证加多轮迭代，就能把弱模型逼向正确。
陈岳驾驭未来：智能体软件的起源和演进 · 14:30–14:45
与其担心 AI 让学生退化，不如造一个让他们练习「驾驭 20 个智能体」的竞技场。
林云老师团队开源项目实践 ① — Arc：Agentic Requirement Compilation · 14:45–14:55
AI 大规模生成代码，让传统扫描器「结构性失明」——代码提交，不可跳过人类问责。
张汉东开源项目实践 ② — OpenFab：下一代软件工厂 · 14:55–15:05
四年只到 0.5 版的项目，AI 两个月追平了过去几年——前提是先有 TDD 与验证体系。
何勇开源项目实践 ③ — DORA / Octos · 15:05–15:15
主题四

标准合作与开源生态

3 句
国际标准自上而下，开源自下而上——这两条路径，天然错位。
杨丽蕴开源标准国际化及 AI 开源标准化实践 · 15:15–15:30
当从 0 生成代码比从 GitHub 下载更省，开发者参与开源的动力，可能被釜底抽薪。
陈道清Agentic 时代的开源基金会和社区 · 15:30–15:45
所谓开源大模型，其实只是「免费使用」——权重可下载，不等于可协作复现。
Michael Yuan 主持 · 圆桌Panel：开源生态、标准化与国际合作展望 · 15:45–16:45
主题五

OAIC 讨论与行动倡议

2 句
个人助手为个人负责，岗位智能体是数字员工、由企业担责——这是落地 agent 绕不开的第一问。
孙栋OAIC 产业联盟规划介绍 · 16:45–17:00
这是 20 年一遇的机遇——开源与开放的数据，是这场变革最关键的「营养」。
全体嘉宾全体圆桌讨论：OAIC 共识与行动计划及倡议 · 17:00–17:50