2026 年 6 月 27 日，由 AI Vision Forum 主办、GOSIM、CSDN、奇点智能研究院、开放智能体开源基金会协办的「2026 AI 愿景论坛·智能体产业研讨会」（AI Vision Forum on Agentic AI Workshop）在上海西岸美高梅酒店举行。

与偏重底层基础软件设计的行业研讨不同，AIVF上海研讨会把视角对准了 Agentic AI 时代软件产业本身的重构：软件工程的范式正从“人管人”转向“人管智能体”，软件的价值边界正从“卖功能”转向“卖结果”。当天议程紧密围绕“Agentic AI 愿景与软件工厂”“软件工程方法论与形式化验证”“Agent 开发实践”“标准合作与开源生态”“OAIC 讨论与行动倡议”五大主题展开，最终汇聚到一项共识——OAIC 开放智能体产业联盟行动倡议。

AIVF上海研讨会邀请了来自基础软件、工业互联网、系统架构、编程语言、形式化验证、开源基金会与产业联盟等多个方向、60多位重量级嘉宾参加，包括CSDN 创始人 & 董事长、AtomGit 董事长蒋涛，涛思数据（TDengine）创始人兼 CEO 陶建辉，美的集团首席信息安全官兼软件工程院院长、欧洲科学院院士刘向阳，指令集公司创始人兼 CEO 潘爱民，蚂蚁集团超级计算部负责人余锋（褚霸），宽带资本合伙人申路伟，复旦大学计算机与智能创新学院副院长彭鑫，上海交通大学计算机科学与技术系副教授林云，南京大学计算机科学与技术系教授冯新宇，清华大学计算机科学与技术系长聘副教授陈渝，新加坡国立大学（NUS）计算机系教授董劲松（Jin Song Dong），中国电子技术标准化研究院软件应用与服务研究中心开源研究室主任杨丽蕴，华为开源运营总监陈道清，资深 Rust 专家、Octos Agent 核心维护者张汉东等。

此外，奇点智能研究院院长李建忠、中国科学技术大学教授杨子江、Second State 创始人 Michael Yuan 分别主持了当天的三场圆桌讨论，鼎捷数智首席专家金江、OPC 官方联盟秘书长王一荔、中国科大先进技术研究院 AI 产品总监朱姗、美国东北大学教授王言治、华东师范大学教授王伟、上海开源信息技术协会创始人张国锋、中国社科院大学教授王钦、Apache 软件基金会前董事姜宁等多位专家也参与了圆桌对话，共同构成了这场研讨的完整对话阵容。

主题一：Agentic AI 愿景与软件工厂

软件工程正在经历第三次范式变化：有嘉宾提出，行业正从“人管人”的软件生产方式转向“人管智能体”，AI Coding 领域 Token 价格下降约 90%，使用量却增长约 50 倍，未来软件与数字经济中相当一部分价值将由 Agent 驱动。

组织结构从“人力流水线”走向“脑力流水线”：有嘉宾认为，公司组织会分化出“定义目标”与“调度智能体”两类核心角色，软件工程的重心也随之从编码转向编排。

企业价值从“卖功能”转向“卖结果”：有嘉宾指出，软件产业的收入逻辑正从卖模块、卖许可证，转向可验证、可审计、可持续优化的业务结果，但个人工具、企业工具与产业级平台之间仍横亘着组织重构与知识沉淀等门槛。

工业场景的现实：模型已经够强，短板在数据基础设施：有嘉宾提醒，工业 AI 落地的真正瓶颈不在模型能力，而在数据割裂、标准不统一与语义情景化缺失，企业最终关心的是可控、可信、可解释、可伸缩这四条底线。

企业核心系统的准入门槛：先过成本与合规关：面向高监管场景的嘉宾提出，Agentic AI 真正进入企业核心系统前，必须先解决成本模型颠覆、建设周期长、与存量系统深度耦合、合规责任等硬约束。

圆桌共识：AI 更像参谋，而非总司令：多位与会专家认为，只有当结果易于定义、系统足够解耦、试错环境可控时，AI 才能真正发挥价值；组织层面的提效往往滞后于个人提效，因为团队大部分时间并不花在写代码本身。

主题二：Agentic AI 软件工程方法论与形式化验证

智能化软件的挑战不在生成能力，而在可验证性：有嘉宾提出，系统一旦从确定性流程转向带有推理与自主性，软件工程过去依赖的大量假设都要被重新审视，可验证、可维护、可追责成为新的关注重心。

需求编译是软件工程的下一次抽象：有嘉宾将当前变化理解为一次新的“抽象上移”——把开发者的关注点从直接写代码，进一步前移到用规格说明与结构化需求驱动智能体生成代码。

编程语言演进的两个根本问题：有嘉宾指出，“一句话生成软件”之所以远未实现，本质是需求侧的自然语言二义性与执行侧大模型输出的不确定性；强类型、重安全约束的语言反而在这一波浪潮中获益明显。

Agent 系统需要更稳定的系统边界：有嘉宾强调，智能体操作系统一旦走向真实生产环境，必须具备清晰的抽象层次与稳定的运行时边界，而不能止步于模型能力演示。

形式化方法是 Agent 生成能力的安全兜底：有嘉宾提出，Agent 可以帮助生成规格说明、辅助模型检查，成为形式化方法的“放大器”，但无法替代形式化验证机制本身的兜底作用。

圆桌共识：验证不再是锦上添花，而是前提：与会专家普遍认为，Agent 擅长知识吸收与局部任务分解，但难以消化真实系统积累的历史依赖与组织复杂性，复杂系统的整体演化仍需人类工程团队掌舵。

主题三：Agent 开发实践

智能软件的演进脉络被重新梳理：有嘉宾从更长的历史视角回顾了智能化软件的起源与阶段性跃迁，指出当下正处于从工具辅助走向系统自主的关键转折点。

需求编译的开源实践先行先试：有团队分享了围绕需求编译（Agentic Requirement Compilation）的开源探索，强调结构化需求应同时面向人与智能体可读。

下一代软件工厂的核心不是“一个万能 Agent”：有开源项目分享者提出，软件工厂的价值在于让多角色、多规则、多验证点构成生产线，QA、测试与代码评审等传统工程机制会被前移并内建到生产流程中。

社区化协作项目正在跑通闭环：也有开源实践团队分享了通过黑客松、样板场景积累用户与贡献者路径，强调“先跑通闭环，再扩大影响力”优于一开始就追求大而全的架构。

主题四：标准合作与开源生态

标准与规则本身就是产业竞争力的一部分：有嘉宾提出，开源不只是工程协作问题，也与国际竞争、产业话语权直接相关，国际化标准需要讲出一个全球范围内都能理解、愿意接受的故事。

开源基金会与 Token 供给正成为 Agentic 时代的新型基础设施：有嘉宾指出，业界仍缺少一套端到端的、围绕大模型与 Agent 的完整开源生态体系，Token 供应商在现有基金会生态中依然稀缺。

看待开源与商业化不应停留在非黑即白：有嘉宾认为，真正值得思考的问题是如何在产业层面建立起 Agent 经济的价值共识，而不只是停留在技术供给视角。

圆桌共识：国际合作需要新的治理逻辑：与会专家提出，开源社区的治理机制、参与主体和商业化路径都已不同于以往，标准化、协议互通与安全治理需要在新的产业共识基础上重新搭建。

主题五：OAIC 讨论与行动倡议

当前Agentic AI 正推动软件产业从“工具、模块和座位”走向“平台、智能体、Token 和结果服务”，全球头部厂商加速在模型、编排、工具协议与平台生态上的垂直整合，2026—2028 年是中国软件产业转型的关键窗口期。

在此背景下，技术专家孙栋提出发起 OAIC 开放智能体产业联盟。联盟定位为软件产业协同平台、开源工程平台、标准预研平台和商业验证平台，而非单一产品或封闭商业联盟。联盟以 AOS（智能体编排系统）、ASE（智能体软件工程）与 Open Token（开放 Token 机制）为三大技术支柱，分别对应运行时平台层、工程方法体系层与跨主体协作计量层。会议提出围绕 ASE 工程体系、AOS 编排系统、Open Token 机制、OAI Marketplace 生态、行业 Testbed 标杆场景与软件工厂业务样板六个方向共建。联盟计划采用理事会定方向、技术监督委员会定技术、工作组做交付、秘书处保运转的分层治理模式，并设立五个工作组分别对应理论体系、系统架构、开源标准、Open Token 与行业协会方向。

联盟计划邀请高校科研机构、软件与 SaaS 企业、行业用户企业、云算力工具链厂商、开源社区、投资机构、创业公司和标准组织等加入，并为每类角色设计了差异化的价值主张。年路线图指向标准与生态双线并进：从治理机制建立、白皮书发布，到参考架构基线、标准预研与开源版本发布，设定了标志性的阶段里程碑。同时，会议也讨论了近期目标：核心成员共识与治理章程，启动首批行业 Testbed 与开源项目，阶段性 MVP 验证与样板孵化。

结语

AIVF上海研讨会的热烈讨论，呈现出一条清晰的主线：Agentic AI 不是一次单点技术升级，而是软件产业生产方式、组织方式、交付方式和商业模式的系统性重构，没有哪一家企业可以独自完成。正是在这个意义上，会议尾声提出的 OAIC 开放智能体产业联盟倡议，构成了当天真正的落点：以 AOS、ASE、Open Token 为技术三角，以开放智能体能力平台为基础，联合高校、科研机构、开源社区、软件企业、行业客户、云与算力服务商、投资机构、标准组织和创业公司，共同构建开放、可信、可持续的智能体产业合作生态。

我们诚挚邀请产学研用各界加入 OAIC，共建开放智能体工厂，共创智能体产业未来。