（来源：上观新闻）
Peter Ya🔽ng：是啊，肯👬定不能让PM🕢去维护功能🈲代码，听📃🍘起来就🚞🐆不靠谱🍾🙎。不过即🐽使我明白这👩👩👦一点，我认🇮🇸🤹♂️为当时我们也无😀法做到🇵🇼。
那么，如何🍥🥝在绝对严🧘♂️谨与工程可🏒用之间🇦🇨🔨取得平衡呢？🏴🥑FM-A🖨gen👐t 的⛹🇷🇺基本思路👩⚖️是：先分析🇸🇨🎖 LLM 擅长🦕😖什么，然后将其☁与传统形式化验8️⃣证流程🇹🇬进行对照，🌳🧛♂️判断哪些步骤可📯以适当放宽对🔏🥗“绝对严谨🧑🏫成人激情五月天”的要求，从而换🍨💫取“工程可用”🕕。
再比如，🈵🇺🇸如果你以前🐭只负责👩👩👧👧🚗撰写战略💝文档，现在呢👨⚖️🇸🇲，你甚至可🎋👀以直接动🦒手做原型🍵。“未来6到12✴个月，人形🌑机器人行业该从🍺👐秀场进🐣考场了🦁。
