（来源：上观新闻）
大家看久了🤛🚻，容易产生一种错🇻🇮🥳觉： 好像“可🔺回收大火箭”只🥾有一种写法🇬🇮。图丨自上而❕下的规约🙋♂️😍生成新范式（☮来源：😳🌐arXiv） 在🎈推理过程👚⛓的可靠性方面😰，研究👨👦⛓团队并不🔫是直接让 LLM🇵🇪🧰 判断代码是否👩👧👧🍃正确，而是将思😷📖维链（👥🌛Chain 🈴🆔of 🛌Thou🍧📢ght）⌨🔆与霍尔逻辑🇲🇳🍄的推理规👆🇲🇷则相结合，引🧚♂️🤫导 LLM 逐👩🍳步推导每个📫代码块执行后🚌程序状🌘🦓态所满🕟👂足的性质🥞📡，最终检😆查程序状态是🇵🇷否符合🦌🦄“说明书”的要求🍀。他们不确定我们能📀不能做到，但他们🕦知道，如👬😞果做到了，意味着🦘🏰什么✖🇾🇪。
这一目标👩👧👧🎴颇为激进，或许是🌖😟因为自身财🎺务数据不错🎖🏢。它石A1机器👨🦲人在1小时🚟内完成了亚毫🇵🇪🤣米级柔性线束完🐏整装配🐛🇵🇪任务百余次，创下🕹🔕吉尼斯世界纪录❔。世界上部署了数亿🐙🐝英伟达GPU，🈳每个云平台🥏🇬🇳上都有它👛🌒。物理AI、世🐒♈界模型或者🎹5️⃣说空间🥯📬智能，正在👥成为下🥾🅱一个风口🕖👪。英伟达在当时🉑♏没有能力（也不具🔪🥽备做法人投资的哲🇹🇻🙂学）提供类似的🐄“算力换股🕵️♀️权”安排🌷🏃♀️。
