（来源：上观新闻）
Romain：◼⏰是的，幸运的是↩，当时我们有一个😢很棒的I🏄♀️🍀DE扩展解决方👨👦👦🇹🇿案，而且我们对它😡进行了相当深入🇷🇼的打磨🐛。这就是我们这🛤么做的原因🔜👨👩👦👦。而且，🇴🇲当事人录🏂🇺🇦制视频“卖课”🕖，推广这套“商🍓业模式”🇧🇷，也有欺🛴🇧🇲诈的嫌疑🙅🍫。那么，如何😋🥖在绝对严谨与工程😄↘可用之间取得平衡🔥呢？FM-Age🧞♂️🦔nt 的基本📝🗝思路是：先🗂👨🦲分析 LLM 擅🇻🇳🧺长什么，然⚫后将其与传💎🥑统形式化验证🚵流程进💸行对照，判断哪些💖步骤可以适当放🐴宽对“绝对🌡严谨”的要求，从🇫🇰而换取“工程可用📰”♾️🇵🇱。
所以我🇲🇳们的思路是，🔈💒精心打磨产品的核💶🎺心基础功能，👨🦱🍩认真规划设计，🧙♀️让产品尽可能🎹隐形，不干扰模😶🦊型运行，随🦔着模型能力提升，⚗🈶实现更多功🇮🇶能；同时为💗🌈高阶用户提供高🇨🇭度可配置的🇭🇹🌱选项，👩🦲比如市面上已经有👙🐸子智能体的相关🔼👩👩👧👧实现，用🕒♌户可以自主体验⚖🇮🇷、尝试，🏁我们也从中汲🥄🇸🇨取大量使用反🥐馈，之后再把这些🧛♂️🆗功能简化，普及📉🇹🇲给所有用户🇹🇫🎷。
我们希望带回🎪芯片制造、计算🧪机制造和封🥠🦝装工艺🌼🇳🇵；我们希望建造新🏯的东西，比如电🇲🇰🆕动车、机器人；😺我们希望建✒造AI🇲🇰🇺🇦工厂🦡。我的观点是，没🇯🇲🇹🇨有哪个瓶颈会持🛀🙏续超过两三年📆🏆。
