汽车安全关键软件编码助手试点研究

Elizaveta Zinovyeva 等作者发表了一款面向汽车 C/C++ 的编码助手，并通过 Model Context Protocol 向用户开放 generate、edit、verify 三个工具，让开发者可按需对任意代码运行 verify，而不必依赖智能体自查输出。 在活跃生产项目上为期两周的试点中，开发者称 verify 是使用最多的工具，并确认不仅用于生成代码，也用于自己的代码；在模型定制策略比较中，75% 的开发者偏好更快的提示工程配置。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。