（来源：上观新闻）
在这个追逐🏓风口、热钱涌动的🇲🇵时代，他们✌🇦🇶守着“模拟物🇸🇸理世界”这个🗳🆔极其硬核、🕷🌹极其难啃的骨🇨🇼🇵🇼头，一啃☂🇹🇴就是15🤽♂️年🚤🇧🇯。不过，就🐝算退回到📫更早的阶段♊👩✈️，比如我还在😵Stripe工🚵♀️☎作时，👨当时St📱ripe员工人数😁🈵达到250人🔅，却连一名PM🕠🇺🇿都没有，甚至完全🍿没用过任🍿何AI工具，因为🤕🤡当时的Strip📖e就是一个A🧝♀️PI，而我们所🇵🇷有人都是工程师，🇦🇸😲都清楚一个真正🙊🔶出色的🌎API应该🌜🇻🇨是什么样子🧴。
图丨自🧞♀️🎯上而下的规约🇳🇷生成新范式（来源🌛：arXiv🇲🇨🌬） 在🤨🏯推理过程的可🌊🚃靠性方面，研究团🔠队并不是直🇹🇹接让 LLM🍾 判断⏫代码是否正确🐆，而是🌘将思维链（📏📊Chain🏌👨🍳 of👩💻 Though📍t）与霍🚇尔逻辑的推理♎🍌规则相结合，引🚻导 LLM 👨👦👦▫逐步推导每个🍟代码块执行后👨💻🎟程序状态所满📀足的性质，最终检🎂查程序状🛠态是否符合“说🎁⚓明书”的要➕求🐛🇻🇳。Q：回到🗒之前关于某些瓶🇩🇯颈更容🚨👯易解决的问🕞题🔴🚙。英伟达GPU🆖的根本问题，🍬就是吸管🛂太细🔬🕑。喷不了，这个是真🇲🇰🖱极简，功能应该🤲不用我说了吧👩👧👧。
