（来源：上观新闻）
我们最早涉足的🇰🇮🇧🇻领域之一是计算👅⬜机图形学，但还👩👩👧有许多其他领💤域，比如粒子物💌理和流体模拟、结👼构化数据处理🛀👷♀️，以及各种受Ⓜ益于CUD🍒A技术🏴*️⃣的算法👹🤪。换句话说🚠😄，目前市场上⛎🇩🇿几乎没🎿☢有一家🏫达到了🍿“完美物理世🗃界模拟器”的🌆标准🍔。
这两条看🇰🇷似相反的变化，其🏌️♀️实指向同一个方向⛳：AI的🖱🚽价格正在🇳🇬走向分层，而价👩🔧🍘值也在随之🇿🇲重新分配🇬🇩。它甚至还限制了打🇬🇮电话的能力🥩🚼。708项🥢目组自己也🤚没有像样的办公场🗻所，程老和其他🇳🇴设计人🌏🈹员只能在🥺食堂的🇩🇬桌子上😵摊开图纸作业，到🎭了饭点再把🦝🦗桌面腾🥂🐅出来📘。那么，如何🔙🤥在绝对严谨🥭与工程▫👊可用之间取🌙🚡得平衡呢？FM😡-Agen💮t 的基本🇸🇪思路是：先分析🔍 LLM 擅👷♀️长什么，然后👠将其与🙉传统形式化验证流🕟👨🦱程进行对照，🎪判断哪些🇮🇸步骤可以适当放🇱🇾🇳🇱宽对“绝对严谨”🚋的要求，从而换取👩👧👦🇿🇲“工程可用”🖊🦜。
