（来源：上观新闻）
一年时间，从天使🧾轮到Pre-A👈🇳🇨，估值从50🇸🇮亿跳到1🇲🇽🇨🇴80亿🏍。那简直是🎉🙄我听过的最🇸🇾🍹醍醐灌顶的一次💊AI对🥧话了💷。图丨自上🗄而下的规🇬🇼约生成新范式（🇬🇱来源：arXi🇲🇻v） 在推理🧷🕙过程的可靠性🧵方面，研究团队👩👩👧并不是直😣🚷接让 LL🍉🕌M 判断代码是否🏟🇸🇴正确，而是将思🥫🍽维链（Chain🎨🇲🇭 of Thou🇵🇱🛶ght）与霍💯🛸尔逻辑的推理规📪🏡则相结合，引导 👻🕵️♀️LLM 📜逐步推导每个🍩🕖代码块执行后🇹🇴👩程序状态所☺🇰🇿满足的性质，最终🔻😚检查程🌟🇱🇷序状态是否🗒符合“♉说明书”的要求🔌👪。
入驻企业代表表示🕔：“这里像一个😐任务发布中心，让🙊🔜我们能快🧦速武装自己👩🚀并找到战场🔧🇸🇳。图丨自上而下🇻🇮的规约生成新范🕒💂式（来源📒：arXiv👡3️⃣） 在推理🚋🕚过程的可❓靠性方面，研究💃团队并不是直接🏖让 LLM 🐠⌨判断代码是否正🇬🇪确，而是将思💟🤼♀️维链（C🚗hain o◽f Thoug🏴四区五区视频ht）🤷♀️🇺🇳与霍尔逻辑🕶的推理规🗓则相结合🇳🇨，引导 LL😯M 逐😑步推导每🧥📨个代码🎚🇹🇩块执行后程🇧🇱🍒序状态所🔊满足的性质，🧑🍝最终检查程序状态🤲是否符合“说明书🥴🎪”的要🇮🇴求👯♂️。
