（来源：上观新闻）
图丨自上而下的🍞🌨规约生成新范式（🏂🌟来源：arXiv📻🐢） 在推理🇨🇿♈过程的🧝♀️可靠性方面⏫👨🚒，研究团队并不🇸🇷是直接让 LLM🌦📍 判断🇱🇧代码是否🧥正确，而是🐴🇹🇬将思维链（Ch🦐🔐ain of 🎌Thou🇬🇱🛷ght）与霍尔逻🚽🏖辑的推理规则相🇧🇦结合，引导 LL🦷M 逐步推导每个🕹🧥代码块执行后🏗程序状态所🍶满足的性质⌚😹，最终检查程序🅿👠状态是否符合“🔗说明书”的要求🤸♀️🥥。市面上有很多很🇹🇷多框架🐟🌅，比如Trito🎍n、vLLM、S🌎GLan🔞⭐g，以及更多新🈳兴的强化🌤学习框架，比😈如verl和Ne📢Mo 🗿RL👨⚕️。一番搜索后能确🍫🛋定的只有一点😂🎥：大家根本不🇲🇱是在卖同一种东🎣西🏴。尽管这几年张🐐🧫玮也听🏚🧢到很多🔒🇳🇺网传的消息🤹♂️😽：因为AI被广🍮泛使用，程序🤱🧢员招聘名额开始👍缩减🇪🇹🇬🇮。
供需错配的直接体🤒现，是产能长期处🧠👨⚖️于高负荷状态🇦🇺🔆。模型公司的🍉领先周🇮🇴🦝期可能只有🇸🇮🇻🇨天天天天干天天爽几个月🚴，你领先🦡四个月，别人领🐗先六个月，来🔏🇿🇼回切换，很难🇧🇩形成持久价值🆕🇯🇵。只可惜因为种种🇵🇹🤐原因，🧟♂️这个念头始🏗终没能真正🛀🇷🇪落实🎌。Qwen2.◻5-VL输出绝对🤽♀️↙像素坐标，Q🤹♀️👥wen3-✨VL输出[0,🔦100🍮0]归一化，St🇧🇸🌞epGU🥰I用[0,9😉99]，搞混💛🛠一个就是灾难🈁🔊。我们现在👨🦲🥎更像是一条海盗船🏑一样，聚在一🇲🇬🇲🇶起、浑🥜🙏然一体地工作🌗。他的经🤖🦘历和感受，👨🚒🇻🇮或许能🕵️♀️📝让我们看清📗：当AI开始生🤘成代码，👨👨👧👧📻那些创造了🍸🇨🇭AI的人，正在经👻历什么☘。
