10 月 23 日，芯华章作为可信 Agentic EDA 领域代表企业亮相中科创达 2026 年度技术战略发布会（ThunderWorld 2026），芯华章首席科学家徐强教授受邀发表《让自主智能真正值得信任》主题演讲，分享芯华章如何以可信验证能力赋能自主智能。
中科创达是面向全球服务的AI操作系统产品和技术提供商，会上正式推出面向汽车空间的自主智能操作系统滴水 AIOS 3.0。
作为合作伙伴，芯华章与中科创达正围绕可信 AI 在车规安全方向的应用，联合打造大模型车控安全保障体系，推动大模型输出从 "能够生成" 走向 "安全执行"；当 AI 越来越多地自主规划任务、调用工具、直接行动，如何让这样的自主智能值得信任，正是芯华章此次分享的核心命题。
从 "回答问题" 到 "自主行动"，可信性面临新课题
徐强教授表示，AI 的角色正在发生根本变化 —— 从帮助回答问题、提供建议，走向自主规划任务、调用服务、直接行动。当 AI 越来越 "能做事"，可信性就不能只关注大模型本身，而要覆盖整个系统，可概括为三个维度：
看得见，知道 AI 在做什么、调用哪些工具；
管得住，关键行动必须受到明确的授权与约束；
验得了，通过系统化的测试与验证，确认安全机制在复杂场景下真实有效，而非 "设计了就等于安全"。
单个动作合法，不代表系统行为安全
自主智能的安全验证为何比传统软件更有挑战？根本变化在于 AI 不再只是执行程序，而是在运行过程中自主生成和修改执行计划，系统的未来行为在设计阶段难以完全预料。
徐强教授举例说，AI 为赶飞机而取消充电站、改走更快路线，单个动作都合法，组合起来却可能违反续航安全约束 —— 单个动作合法，不代表整个系统行为一定安全。
为此，芯华章提出新的系统架构思路：让 AI 充分发挥智能去探索、规划和优化目标，但行动方案先作为可检查的候选，而非立即执行的命令；执行前由独立的仲裁机制，依据可信的系统状态和预定义的安全不变量进行判定，满足约束才能提交，不满足则重新规划，并系统化验证机制本身是否存在绕过约束的执行路径。
由此，验证对象从相对明确的系统实现，扩展到 AI 动态生成的行动轨迹。
以验证能力赋能：把安全做成可检验的工程能力
谈及如何赋能滴水 AIOS 3.0，在徐强教授看来，随着自主智能在汽车场景中走向落地，可信性也随之成为产业必须回答的问题。
芯华章在复杂系统验证的方法与工程技术方面有长期积累，能够把系统化的验证思想引入自主智能的可信执行：结合真实车载智能体应用，定义关键安全性质、测试复杂执行轨迹，并为系统持续演进提供可靠性保障，让安全从 "附加功能" 变成自主智能系统可检验、可改进的工程能力。
当 AI 开始替用户做决定，"可信" 就不再是锦上添花，而是自主智能规模化上车的入场券。芯华章将与中科创达携手，通过技术互补、场景共创，共同为大模型车控构筑确定性的安全防线。
