（来源：上观新闻）
正面是一块极为罕🥩见的 3🤡 英寸 🎣LCD 🚲屏，以至🚾于十五年前💝📕的 iPhon💉e 5 在它♣🛤面前，都大得像个◀巨屏手⛺🕑机🦋。因为在那个年代🥀🌳，新中🇱🇸国航空工业几乎🗻📈是一片空🌗♈白，连“😴造飞机的地🇲🇱💫方”都要🏔😌从头建起🇱🇾🦝。从效率角度😤看，在☣第20步停止预生🇰🇵🛀成、提🅿取信息，意味着预💦🚚生成阶段只用走完🕡🦛整50💗步中的40👨👨👧👧↔%，大幅节4️⃣省了计算💧🇪🇪量🇹🇭🧞♀️。
于是，😹账单不再是一列🚇 Token 💶的累加，🚣♀️而是一组🦋互相叠加的📚价格对象👅。图丨基于🇻🇨⏯自然语言🇧🇸的代码🇸🇹☄正确性🇬🇭😝推理示例（来源：📪arXiv） 如🔬上图所示，FM🚓-Age🕊nt 逐👃📵段推理代码👩👦👦🐶执行后的程💏序状态描述🍔🛁（注释部🧜♂️🎃分），🚤即后置条件，一🥾⬅直推理到函数👨🦰🔺返回，检查🗄最终的程序🕒状态描述是否违✂背了规约里对最终🗨💄程序状🎚🉐态的要求🏐🕹。
