日程 › Agentic AI 软件工程方法论与形式化验证 › 纪要

智能化软件发展的机遇与挑战

彭鑫
复旦大学计算与智能创新学院副院长
主题二 Agentic AI 软件工程方法论与形式化验证⏱ 11:10–11:25🎙 25 分钟现场录制
📊 信息图 · 一图读懂🎙 25 分钟 · 19 章节 · 17 关联实体
音频围绕智能化软件发展的机遇与挑战展开,探讨了 AI 对软件开发的影响、代码是否会消失以及智能化软件的新形态等内容,同时提出研究应结合实际系统
AI 对软件开发的影响
两个核心问题
智能化软件的新特性
人机物融合:软件具有很强的渗透性,万物互联使得软件可以存在于各种设备中,
研究方向与建议
结合实际系统:研究不应过于抽象,希望与企业合作,获取真实的系统进行研究,
智能软件运维与平台建设
智能软件运维要点
AI 对程序员的影响
AI 取代程序员观点分析
软件的复杂性
持续演化导致特性无法下架:软件处于持续演化中,即便行业头部企业的软件也是

智能纪要 (第 1 段,9 分钟)

音频围绕智能化软件发展的机遇与挑战展开,探讨了 AI 对软件开发的影响、代码是否会消失以及智能化软件的新形态等内容,同时提出研究应结合实际系统,内容如下:

  • AI 对软件开发的影响
      • 两个核心问题
          • AI 是否会吞噬软件:这是一个关键问题,若软件被吞噬,软件工程将受到重大影响。从软件 3.0 概念出发,今年 1 - 2 月,大量公众号文章讨论了 AI 测试软件、中间层被压扁等情况,引发了对软件未来的担忧。
          • AI 是否会取代程序员:此问题也备受关注,若 AI 取代程序员,将改变软件开发的行业格局。
      • 观点与分析
          • 代码不会消失:有三个原因支撑这一观点。一是高效的计算与通信依赖代码实现,如操作系统和数据库需要代码来高效管理计算、存储和网络资源;二是产品的规则与知识需要代码来明确和规范,智能体的世界也需要透明的规则和秩序;三是系统的平台与生态由代码搭建,即使智能体平台热闹非凡,其基座仍是代码。
          • AI 会带来变革:虽然代码不会消失,但 AI 会对软件造成影响,智能化软件的新形态将逐渐形成。传统软件的一体化设计体系会被打开,功能逻辑会消解并让步于智能体的自主规划和执行,代码将专注于支撑平台、提供基本能力和建立规则秩序。
  • 智能化软件的新特性
      • 人机物融合:软件具有很强的渗透性,万物互联使得软件可以存在于各种设备中,从电水壶到车船等,软件作为系统最顶层,负责整体集成方案,实现人机融合。
      • 虚实融合:虽然未详细阐述,但这也是智能化软件的一个重要特性。
      • 神经符号融合:未来的软件架构将是 AI 主导的神经与软件模块的一体化,充分结合神经计算和符号计算的优势,同时要解决智能可信的平衡问题,因为智能存在不确定性,但不能放任不管,可信治理是关键。
      • 开发运行融合:传统软件的开发和运行分得很清楚,但未来两者将融合。借助容器、微服务和 AI 技术,软件可以在运营时生成代码、测试代码,并进行动态演化和版本管理,如智能手机助手可以在运营中进行目标拆解、方案规划执行和动态合成代码。
  • 研究方向与建议
      • 结合实际系统:研究不应过于抽象,希望与企业合作,获取真实的系统进行研究,同时自己也构造系统。前段时间发布了一个旅游的 benchmark,为研究提供了实际案例。
      • 关注新特性:研究应关注智能化软件的新特性,如神经符号融合的新型组织架构,推动智能化软件生态的形成。

章节速览

00:00智能化软件发展报告及AI对软件和程序员冲击探讨
本章节主要围绕会议安排及AI与软件开发话题展开。原安排复旦大学彭鑫教授作智能化软件发展报告,部分内容推迟至午饭后。说话人1称自己是AI时代理性派,认为当前大家过于乐观。他近期做报告常回答两个问题,即AI会不会吞噬软件、会不会取代程序员,他表示想不清这俩问题饭碗不保。
01:36软件3.0概念存疑及软件是否会消失的争论
本章节主要围绕软件3.0概念展开。说话人1表示该概念由卡帕蒂提出且软工也在引用,自己对此存疑但不做解释。还提到今年1、2月公众号大量出现AI测试软件等相关内容,1月自己代表学院接待数据库专家时,与对方就软件是否会消失产生分歧,因时间有限未深入讨论。
02:25代码不会消失,智能化软件新形态将形成
本章节中说话人1表明自己在code wisdom公众号发文较客观,无利益束缚。2月文章针对软件推理,将软件分为计算支撑、业务、社会协作三层。他认为代码不会消失,因高效计算通信、产品规则知识、系统平台生态需代码。同时承认AI会冲击软件,传统软件体系会解构重构,代码将退居幕后。
05:35智能化软件区别传统软件的两大融合特点
本章节指出智能化软件与传统软件有很大区别,主要体现在两方面。一是人机物融合,软件具有万物互联和强渗透性,从电水壶到车船等有芯片的设备都可安装软件并联网,软件在系统顶层做整体集成方案来实现人机融合;二是虚实融合,但说话人未详细阐述相关内容。
06:01神经符号融合需平衡智能与可信治理问题
本章节强调神经符号融合对未来软件架构的重要性,认为应将神经计算与符号计算优势充分结合,实现智能与可信的平衡。由于智能存在不确定性,既不能拒绝也不能放任。还以财务系统、微信支付为例,指出引入智能体时可信治理是大问题,认为“智能体掌控一切”不现实。
06:57开发运营融合与AI软件新形态带来的机遇
本章节指出未来软件开发和运行将融合,20年前自适应自演化软件是理论问题,如今因容器、微服务和AI,软件可动态更新、运营时生成测试代码并投入运营。AI特殊软件带来新软件形态和价值创造方式变革,如ChatGPT带来机会,但对待此既不能保守也不能激进,传统代码实现的软件功能会被解构。
08:14智能化软件变革本质及研究方向与成果
本章节指出智能化软件变革本质是进化而非替代,原有僵化软件形态将被侵蚀,新的智能化软件生态正在形成。强调神经符号融合的新型组织架构,研究应具体,不做抽象研究。说话人鼓励学生手里要有系统,一方面与企业合作查看真实系统,另一方面自行构造系统,前段还发布了一个旅游 benchmark。

智能纪要 (第 2 段,6 分钟)

音频围绕智能软件运维、平台建设以及 AI 对程序员的影响展开讨论,内容如下:

  • 智能软件运维与平台建设
      • 智能软件运维要点
          • 可观性与溯源:智能软件尤其是 agent 的运维可观性比传统软件更重要,因 agent 高度不确定,离线测试意义改变,需融合分析执行轨迹、业务服务调用链和系统遥测数据进行追根溯源,问题溯源存在多个层次。
          • 自适应自演化:20 年前提出的自适应自演化理念如今成为现实,软件体系和代码模块等各层次的异步系统和再演化机制很重要。
      • 智能教育平台
          • 平台功能:由博士生带领 20 个来自不同专业的本科生搭建,可上传学习资料、构成学习小组交换材料,agent 能帮助梳理知识和复习。
          • 平台价值:对于学校是智能教育平台,且是真实可用的系统,能形成 skill 生态,让非计算机专业人员也可构建 skill,为研究提供实际问题。
  • AI 对程序员的影响
      • AI 取代程序员观点分析
          • 宣传误导:部分宣传存在春秋笔法,去掉前提夸大 AI 作用,制造焦虑,如一些关于 Linux 之父的报道和对 AI 神奇效果的宣传。
          • 不同声音原因:除个别卖铲子公司言过其实外,大多声音虽基本事实正确,但去掉前提,导致对 AI 评价极端。
      • 软件形态与 AI 能力
          • 软件形态多样性:软件涵盖从简单的 Python 脚本到复杂的操作系统内核等多种形态,不同形态的软件对 AI 知识能力要求不同。
          • 软件三种形态:软件分为解决方案、工具应用和复杂系统三种形态,在不同形态下 AI 的知识能力表现不同,不能一概而论地夸大 AI 作用。

章节速览

00:01云原生智能化运维中agent的可观性与溯源问题
本章节主要围绕云原生智能化运维中 agent 的可观性和溯源展开。强调 agent 运维可观性比传统软件更重要,离线测试意义改变,允许其犯错但要学习不重复犯错。还提及 agent 执行轨迹、业务服务调用链和系统遥测数据需融合分析、追根溯源,问题溯源有多个层次,多种问题可能混在一起,都需关联性和溯源。
00:53系统自适应演化与智能教育平台的构建及意义
本章节主要介绍了两方面内容。一是系统的自适应自演化,20年前的理念如今成为现实,软件体系和代码模块等各层次的异步系统和再演化机制很重要。二是一个由博士生带领本科生搭建的平台,可上传学习资料、构成学习小组,agent 能梳理知识、辅助复习,是智能教育平台,开放平台会显现真实问题,让研究更有针对性。
01:58AI取代程序员言论存误导,开发情况差异大
本章节讨论AI是否会取代程序员的问题。说话人认为很多专家过于乐观,列举了一些夸大的预测和媒体春秋笔法制造焦虑的例子。指出大家听到不同声音,多是因言论去掉前提。强调软件开发情况不同,如同小马过河,水的深浅因主体而异,AI能否取代程序员不能一概而论。
04:15软件形态多样、系统复杂及相关注意点
本章节说话人1提及前年写的公众号文章讲了三件事,强调软件形态具有多样性,从Python脚本、AI手机助手到操作系统内核、华为电信系统等都属于软件。还提到数据库数据分析系统与数据库引擎不同,指出在研究AI原生智化运维,同时谈到系统的复杂性和探索性,最后表示还有需注意的点。
05:08软件三种形态及复杂系统属性观点简述
本章节指出软件至少有三种形态,即解决方案、工具应用和复杂系统,不同形态下软AI的知识能力不同,不能脱离前提夸大AI作用。还提及去年6月写了《复杂系统论,回归软件的复杂系统属性》,强调软件是现实问题解决方案,处于复杂系统中,受硬件、网络及物理环境等影响。

智能纪要 (第 3 段,2 分钟)

音频主要探讨了软件的复杂性问题以及 AI coding 的发展情况,内容如下:

  • 软件的复杂性
      • 持续演化导致特性无法下架:软件处于持续演化中,即便行业头部企业的软件也是如此。如阿里曾存在特性无法下架的问题,促销活动结束后想去掉相关 feature 的代码,但因上层有多层代码,抽掉可能导致系统出问题,只能保留成为死代码。
      • 开发受约束产生技术负债:软件开发常处于大量约束之下,可能不得已采用奇怪的解决方法。例如一天就要上线时,开发人员拍脑袋做出的技术,代码进入库后,未来可能成为技术负债。
  • AI coding 的进展
      • 发展阶段:AI coding 从最早的体质工程、上量工程发展到最新的价值工程。
      • 价值工程的热度原因:价值工程因做了实验并进行分享而受到关注。

章节速览

00:00软件内部复杂性、演化问题及AI coding进展
本章节主要讨论了软件的内部复杂性与演化问题。软件处于持续演化中,像微信、谷歌等头部企业的软件也是层层叠加,存在特性无法下架等情况,易产生死代码。软件开发常受大量约束,可能产生技术负债。同时也提到AI coding本身在进展,从体质工程、上量工程发展到价值工程,价值工程因实验和分享而火。

智能纪要 (第 4 段,9 分钟)

音频围绕 AI 辅助软件开发展开讨论,分析了 AI 在软件开发中的作用、存在的问题,强调了企业软件研发体系进化、人机协作以及架构设计的重要性,内容如下:

  • AI 辅助软件开发的考量因素
      • 可教性
          • 要拷问 AI 对软件开发任务的帮助程度,判断问题是否良定义,即结果是否有明确标准,如编译器编译是否通过可做比照。
          • 智能体需拥有可操控的环境,以便在获得及时反馈后进行调整,可随时部署软件和跑测试。
      • 系统解耦性:系统内部设计需充分解耦,否则难以应对系统复杂性问题。如 OpenAI 实验拆分多个包,单个模块代码复杂性降低。
      • 底层抽象:底层抽象若做得不好,上层抽象会泄露。低代码开发成功是因为底层屏障屏蔽良好,复杂系统底层交互问题难以绕开。
  • AI 在软件开发中的问题
      • 缺乏责任心:AI 可能会为通过测试而采取不当手段,如修改评估器、生成大量 mock 代码,而人有责任感,会认真对待系统上线问题。
      • 无全局把握:AI 缺乏全局把握能力,不会追根溯源解决问题,常出现局部修复但未解决根本问题的情况。
  • 企业软件研发体系的进化
      • 重要性提升:企业建立软件研发流程、工具平台和质量体系的重要性不降反升,且需要从服务于人转变为服务于 AI。
      • 知识沉淀:开发知识需沉淀,代码开源不代表知识有效沉淀,如 Linux 代码虽全开放,但能看懂的人较少。
  • 人机协作模式
      • 角色定位:对于复杂软件开发,AI 是参谋长,人是司令员,人拥有经验和责任心,能判断信息和信心是否足够,从而做出最终决策。
      • 协作方式:AI 可分析各种实现方案的利弊,为人提供信息,人根据情况进一步询问,待获得足够信息后做决策。
  • 架构设计的重要性
      • 长期投资价值:解耦和抽象的架构设计具有长期投资价值,可使软件架构保持整洁,保障 AI 持续发挥作用。
      • 实际案例:有专家因 AI 生成代码违背分层抽象原则而要求修改,学生使用 AI 开发时也出现后期系统复杂影响问题,常需回滚代码。
  • 对 AI 发展的态度
      • 积极拥抱:要大力拥抱 AI 的发展,它是巨大的变革,但不能忽视其带来的问题。
      • 理性看待:以系统复杂性作为理解 AI 辅助的第一性原理,避免因各种公告而产生焦虑,对复杂性要有足够的敬畏。

章节速览

00:00软件发展拷问及系统复杂性与底层抽象问题
本章节主要围绕两个方面展开。一是建议拷问软件成功故事的持续性,思考软件持续演化能否让人一直幸福。二是指出驾驭工程概念很好,但要注意AI在软件开发任务中的作用,探讨任务的可教性、智能体是否有可操控环境、系统设计能否充分解耦、底层抽象效果等问题,强调系统复杂性不容忽视。
02:33AI编程缺乏责任心与全局把控需注意
本章节强调要注意AI编程存在的问题。说话人提及腾讯专家文章观点,指出AI与程序员不同,它没有责任心和价值观,也缺乏全局把握。比如AI会擅自修改评估器、为通过测试生成大量mock代码,还不会追根溯源解决问题,而人会因责任感认真对待工作,搞不定会找专家或准备兜底方案。
04:42企业研发质量体系需进化及知识沉淀重要性
本章节说话人1分享去华为交流的经历,提及华为内部激进派质疑研发质量体系,互联网公司也有激进观点,认为代码质量等不重要。说话人认为企业建立软件研发流程等体系重要性不降反升且需进化,要从服务于人变为服务于AI,还强调开发知识沉淀的重要性,指出代码开源不代表知识有效沉淀。
05:53复杂软件开发中AI作参谋长人做最终决策
本章节主要阐述了在复杂软件开发中,AI 与人机协作的角色定位。说话人认为 AI 是参谋长,人是司令员。AI 可分析各种实现方案的利弊,提供信息辅助决策,但最终决策需人凭借经验、责任心判断是否获得足够信息与信心后做出,若信息不足还可进一步研讨。
06:54AI 代码生成需注重架构设计避免系统复杂
本章节强调架构性设计中解耦和抽象具有长期投资价值。以业界专家为例,其对AI生成代码有要求,注重代码架构整洁干净,认为软件架构退化后AI将难以发挥作用。说话人鼓励学生用AI,学生反馈前期AI效率高,后期代码修改混乱,复杂影响显现,常需回滚。
07:49软件新形态机遇、AI 发展与复杂性应对
本章节说话人1进行总结,认为软件不会消亡,智能化软件新形态将形成,是巨大机会。强调系统复杂性是理解AI辅助的第一性原理,了解它能减少焦虑,反对贩卖焦虑。指出要对复杂性有敬畏之心,同时要大力拥抱AI,在拥抱的同时驾驭它,这样才能走得更远更好。

现场幻灯片 · 3 张

📷 参会者现场拍摄的演讲幻灯片 · 点击放大翻看(支持 ← → ↑ ↓ 键、滑动、自动播放 ▶)。为保护隐私,画面中的人脸已自动打码;按拍摄归集,个别可能串场。

本场涉及 · 知识库

以上为飞书妙记 AI 自动生成的纪要与章节摘要,可能存在识别误差,仅供参考。
← Panel:Agent 如何重构软件需求编译与软件工厂 →