（来源：上观新闻）
我们可以尝🥊试这些🧚♂️👭东西，但它们并🕡👨🏫没有更好🇹🇱。（图/《🕡🐃社交网🧵👍络》）👗 效率翻倍🤛了，然后⏮呢？ 🎲“目前来讲，AI🐛😯大模型对我们公司🥊，包括我本人的🇨🇩♒冲击还没👆那么大🔐。图丨自上而下的🥽规约生成新范📠式（来源：a🧻👨👩👧rXiv） 在推🗃理过程的🤳🔛可靠性方😼👨🏫面，研究团队😂🦸♀️并不是直接让🖲 LLM🏞 判断代码是否🇴🇲正确，🍘而是将👨✈️👲思维链（🇹🇴👹Chain 🇵🇭of Tho🚿😐ught）与🐜霍尔逻辑的推理🧾🏛规则相结合，引🏰导 LLM 逐☎步推导每个代码块🎎执行后程序♻⚽状态所⏮满足的性质😲🚇，最终检查程序状👻🍼态是否符🧖♂️👩👩👦合“说明✡🇦🇷书”的要💴🚀求🥁🇦🇪。
" 和De🕷🎠epSee🇳🇱🙎k的讨论自❇然引出了一个🥠更底层的🍱问题：当前🎀的AI算法到🉑底有多高🥣效？Feldm🇲🇼an说，G🤩📶PU做推理时🦕🇦🇲，利用率很低，🌠➰多数算力在浪费👩❤️👩。值得一提的是，和➕🥎Opu🍄s 4.🧘♂️6相比，Op🍣us 4.7❕🚢的两点🌗变化会影响t🌈oke📵🇲🇭n使用量⌨。再比如，👬💞如果你以🇦🇸🌠前只负责撰写战⏰📉略文档，现🎋在呢，你甚🇻🇦至可以直接🗯动手做原型🛣🌿。
