（来源：上观新闻）
图丨自上而下的🥪规约生🛥成新范式（来源🗃📿：arXiv📤） 在推理过👖程的可靠👩💻🇮🇲性方面，研究🍑团队并不🇮🇸💟是直接让 L🚭🚶LM 判断😨代码是⬇否正确🤮，而是将思维链（🇦🇩⛩Chai💴🇵🇦n o🍩f Thoug👨🦲ht）与霍尔逻🚝辑的推理规则相结👨👦💙合，引导 LL🇷🇸🦘M 逐步🇬🇹🐰推导每个代码块执💗😒行后程序状态所🐆满足的性质，🌅最终检查程💦🇰🇳序状态是🌗🦛否符合🇧🇧🇻🇺“说明书”的要📶求👩🚀。
还有越🇬🇼🧸来越真实的应🇬🇩用场景🔼🇬🇸。这里面，“也🏵有一些投资机🤟◀构明确说‘📿🕐必须要🍀投’”🎠🍛。也是更早下场🦗。传统做法是🎶：有缺陷的😱芯片，要么🎹整块扔🧞♀️掉，要么关掉有问📔题的部分降级卖，👻行业术语叫🐙👓binning🐫🚲。
