（来源：上观新闻）
“用户通常使🇩🇪用自然语言👰描述系统设计🇭🇹👩⚕️，FM-Age🚗🏑nt 生成🇮🇲的规约也是自☺🔥然语言，而🇸🇻传统形式化验🏗证器只支持🇿🇦🏎基于数学🤲❌公式的⛈🚀推理，二者👩🎓存在巨大的语义🇨🇲💀鸿沟📵色综合图区。这就像是鹦鹉学舌🔠（复述💌函数的👎🤒工作流程），把🇻🇦 bug 当成🇺🇿🛹正确行为写🧾进去，会直接🎲🌙导致后续的验🍑▫证无法发🐸现 bug👨👩👦👦⌨。
2、Brock🇮🇷man 进📵色综合图区一步披露🇧🇷了 OpenA🔡I 在产品形态上🇷🇪🏌️♀️的核心方向⬜，即构建一个🇳🇺🐼跨应用、跨🖌🇧🇲场景的统一 🦵🇲🇻AI 层（AI 👨🦳🎺lay👩🚀er），将 Ch🌭🕳at、Cod😡ex 和浏览器🇰🇪⤵操作整合进同🇳🇵🎉一个入口，取代当😽前分散的工具格局📐🧁。
