（来源：上观新闻）
但到了👩👧👨🦳V4阶段，单轮🍢😏训练成👟本可能已经大🇱🇧于5亿美元🇨🇷。但一个更棘手的问🗿题是：这些😴代码，真的对吗📈？当自动📀生成的代码规模🇦🇩🔡迅速膨📫5️⃣胀，一个幽灵🇦🇱般的挑战始☃终挥之不🐫🇲🇺去：代码🥘🥔能跑，但逻辑🐍深处的 b🤯ug 👁🇸🇪多到令人头皮发❕麻🇳🇬🧹。
例如对于编🧺😳译器 C↙🦑CC，FM-A🥍gen🕉t 会生成 C🍲 程序作⛰🇭🇳为测试用例，并🔐将 CCC 🎬的编译结果与👨🔧🚶♀️参考实现（🇩🇿例如 GC🖥🍂C）比较🤱。值得一提的📹🇨🇦是，尽管软银集团⏹🚑这次对O🇧🇭penAI 🎍300亿美元❕的投资规模不小，☘💖但也只能屈🕘居“配角😁🙇♀️”🎞🧳。“用户通常使用🤟自然语言描述系统🔣🇵🇱设计，FM-🥄🌃Agent 生🛢🇱🇮成的规约🔮也是自然语言，而🇦🇺传统形式🎂化验证器只🇻🇮🍸支持基于数学公式🅿的推理，二者💣存在巨大的语义🎧鸿沟🥬。
