（来源：上观新闻）
【环球网😿科技综👨👧合报道】4月1☯9日消息🥠，据《经济时报》🕤报道，OpenA🎰🥑I正经历显著🍹⛹️♀️的战略🏟转型，近日该公🕓司三位高🏅🤾♀️级高管——凯文🇰🇼·韦尔、比尔·皮🇳🇿🆘布尔斯、👮🏌斯里尼瓦斯·纳🥍🏨拉亚南同日宣布离🍆职，恰逢公⛵🦈司关停😤多项实验性🌀🐝项目，引🎲💴发行业对其发展🇦🇴走向的关🧠注🔅。图丨自上而📞⛵下的规约生成⏲新范式（🚺来源：a😡rXiv）🚉 在推理过程🎫的可靠🧹性方面，研💹🇨🇩究团队并👠不是直接让 ☀👟LLM 判断代码🍲💾是否正确，而🚒🇸🇻是将思🇲🇹维链（☁☎Chain🧩🗿 of Tho🇹🇲🕘ught）与霍尔🧑逻辑的推理规则相🇦🇹结合，引导 🇸🇾LLM 逐步推导🐐™每个代码块👫执行后程🔯序状态所满足的🙉性质，最终检查程📖序状态是否符合“👱♀️🇦🇪说明书💏”的要求♈😦。
图丨相🇭🇳关论文（来源：a🥟🆖rXiv）💋 相关论文以⏪《FM-🗣Agen🇦🇶🌤t：通过基于大语⚾言模型的霍尔逻辑🇱🇷🏺推理将形式🔪🈸化方法扩展🧙♀️至大规模系统🇮🇪🔩欧美国产日韩在线软件》（FM-A🥦🕛gent: Sc🐇😈aling Fo👩👧👧🐋rmal 🚶📼Method🐉📓s to L😕🐛arge 🚅System🧮s v👈👨🔬ia LL🔵🐆M-B🇴🇲ased 🚐Hoare🙄🙆♂️-Style R*️⃣easoning😭）为题发表在预印🧸🤡本网站 a🇲🇬rXiv[1]🥘🆓。
