Wiki › 概念
概念

共 24 项

技术主线
能自主感知、决策、调用工具完成任务的软件单元;会上讨论其对软件形态、研发组织与协作生态的影响。
技术
会上的能力底座;讨论涉及不确定性、二义性、分级评估规范与开源可持续性。
战略
蒋涛指出 Token 价格下降 90%、用量翻 50 倍;CSDN 推「淘 Token」面向全球开发者供给算力。
技术
会上反复出现的拐点:Coding 被突破带来行业收入暴涨、人效巨变,也带来责任心与全局把控的新问题。
技术主线
贯穿全场的主线:以自主智能体(Agent)为核心重构软件的产业范式,对应「Agent 时代/第三次软件范式」。
Harness 8 场
技术
陈岳提出:在算力短缺下,harness(模型外的工程框架)或成关键解决方案,与开源模型结合放大能力。
方法论
将软件研发组织成「流水线 + 质量管控」的智能体协同体系;亚信、OpenFab、OpenFAIR 等均以此为目标。
技术主线
以 AI/Agent 为第一性原理重构系统与组织;李建忠提出「AI 原生软件研发成熟度模型」。
Rust 7 场
编程语言
高性能与内存安全语言,多场出现:AgentOS、机器人系统重构、OpenFab/Octos 与语言演进讨论。
技术
面向智能体的操作系统/运行底座;陈渝的 Rust AgentOS、孙栋圆桌的 ASE 与 AOS 整合均涉及。
生态
陈道清主题:Agentic 时代基金会格局变化、从人际协同走向人-Agent 协同、全球型开源 AI 基金会设想。
方法论
用数学化规约与验证保障复杂系统正确性;董劲松以汽车安全等案例讲解其用于 Agent 程序生成。
技术
将神经网络与符号推理结合,以平衡智能与可信治理,是智能化软件的关键特征。
方法论
冯新宇讨论的 SBD 与 Specification 语言谱系,应对 AI 编程的需求二义性。
技术
彭鑫提出的新软件形态:神经符号融合、开发运营融合,区别于传统软件,引发「代码是否消失」之争。
方法论
林云提出:把需求作为可编译对象,经多模态需求建模驱动软件开发与再造工程(开源项目 Arc)。
技术
李建忠讨论 Agent 重构软件的驱动力时涉及的 Scaling 变化与潜力。
仓颉 2 场
编程语言
华为推出的新编程语言;冯新宇讨论其语料少的问题与语言特性演变方向。
技术
王言治等讨论的赛道:具身场景下的软件工程与自动编程挑战与价值。
工程
刘向阳提出企业数字化底座的三大痛点与 Agent 平台能力要求,是企业 AI 落地的基础设施。
方法论
陶建辉强调:工业 AI 需要情景化与本体论构建,依赖上下文才能真正发挥作用。
流计算 1 场
技术
陶建辉指出:AI 无法实时处理数据,需要流计算引擎辅助构建工业数据底座。
战略
蒋涛提出:操作系统时代→云原生时代→Agent 时代,第三次范式中「所有连管人都要变成管 Agent」。
安全
张汉东在可信 AI 软件工厂中强调:传统供应链安全规范、可信证明与身份认证在 AI 编码下的新挑战。