北京
分享至
一位xAI工程师在社交平台上说自己最近有点安静，原因是正在做一个新的配套技能。这个技能的作用，是帮智能体画出状态图一类的图表，并且拿它们去对照此前用 /create-formal-verification-skill 做出来的规格做检查。
他提到，这个技能现在还用上了 @kepano 的 Pele，图看起来才这么好看。至于发布时间，他的说法是“很快推出”。
这条动态发布于10月22日，浏览量12.3K。从描述看，技能瞄准的是智能体产出图表与形式化规格之间的对齐环节，而不是单纯画图。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
