（来源：上观新闻）
它通过极其😕🌁精妙的两阶段压缩🤦♂️，成功在零精度👡损失的情况下将🇲🇫大模型的🏀👩🌾内存占用减少了🌩 6 倍以上🇿🇲👷♀️。“用户通常🇧🇲使用自然语言🗄🦉描述系统设🇪🇨计，FM-Ag🕷ent 🐶生成的规👩🦲约也是自然语🇮🇳言，而传统🧤形式化验🐳🇳🇨证器只支持📊2️⃣基于数学公式的🕘🇫🇷推理，🧫🚻二者存在巨💃91福利导航国际大的语义鸿沟👤。
图丨基于🙍♂️🐸自然语言➗🌟的代码正确性推理🛀示例（🐤来源：arX🆖🏟iv） 如🥈上图所示，FM👨👨👧👦91福利导航国际-Age🇬🇺nt 📂🇲🇵逐段推理代码🦚执行后的程序状态🇬🇶描述（🤺🚳注释部分），即后▶👩🌾置条件，一直推理🥑到函数返回，🇲🇲检查最终👩💻👨🦱的程序状态描🖖述是否违背🥿了规约里对最终程🥒🖋序状态的要求🎴。
