（来源：上观新闻）
世界模型面临🐠三个相互制约的🇸🇭🌉指标：空间尺🚵♀️度、视觉保🇬🇦🇫🇰真度、实🙀🗒时交互🤜💉性🇬🇦👨🦳。AI介入之后🦑，一个👩🦰🏎初级程序员🎐👪用AI，可能♎一两天就能做🧖♀️一个简单🔁的产品出来♏😈。*注：文中题图🇨🇴🗂来自易⛳景科技官网⏰。AI不会使软件变📨得廉价、同质化，💉💬Agent🤑🤥的普及会快✳速提高工具部署🇲🇲💉率，带来更高速的📩💞增长🛢🏮。由于图形渲染技🧳术的商🥐🇨🇮业模式和应⛏😣用场景🇳🇫🥚不清晰，很💐多投资人甚至连🍠GPU都没听🎱🇲🇽过，所🏵🎓以当黄晓煌🇸🇧带着不👝🤛成熟的BP面🇺🇸🧗♀️见投资人🌁🧜♂️时，屡遭拒绝🇬🇲。问题在于，“向💂下沉沦”的力🥏量总要大于“向🧱🍊上提升”的力量🌓。
图丨自上📀⛏而下的规约生成新🗾✏范式（来源：ar🧯🏙Xiv） 在🇨🇩🇨🇰推理过程的👩🦰🛰可靠性方面，研究🇨🇰🇧🇮团队并不是直接让🧁 LLM 判断🇧🇶👝代码是否👩🦳🔙正确，而是😘将思维🐖链（Cha🤷♀️🍱in 🐰of Thoug👰🥉ht）🔜🌖与霍尔逻辑💞😰的推理😼规则相结合，引导♥🚴♀️ LLM 🇦🇫🖌逐步推导⬛▪每个代码块执行后🖇程序状态所满🐊足的性质，最终🔈⚒检查程序状态❄📐是否符合“说😖明书”👾😜的要求🇨🇵。结合 🧜♀️LLM 对⛳代码和自然语😽🇨🇨言的理解能力，F🌦🇬🇶M-Agent🐣🏋️♀️ 大胆泛化了霍尔🆙逻辑中的推理🧖♀️🏴☠️规则，让 LL🎸M 直接基🇳🇷🧦于自然语言规约对🏯🇵🇲函数的正确☹性进行逻🌧辑推理👩🍳🌝。
