AIVF '26 ·
智能体产业研讨会
日程
嘉宾
Wiki
Wiki
›
事件 · 倡议
› M code 工作台
M code 工作台
事件 · 倡议
产品
产品
出现于 2 场分享
简介
CSDN 对标 Codex/Claude Code 的开发工作台（会上称内测中），是蒋涛分享的国产 AI 编程载体之一。
出现于 · 2 场
09:10–09:25
硅基时间时刻
13:15–13:30
Formal Method by Agents
相关实体
智能体 / Agent
·2
Arc（Agentic Requirement Compilation）
·2
形式化方法 / 验证
·2
大模型 LLM
·2
AAF 基金
·1
Agentic AI
·1
AgentOS / Agentic OS
·1
AI 编程 / Coding
·1