（来源：上观新闻）
图丨自上而下🇱🇸🏴的规约生成新💂范式（来🎪❌源：ar☔⚛Xiv🙂） 在推理过程的🏴🦝可靠性方面，研究🛹团队并不是直接让💴 LLM 判断🤡代码是否正确🍦🤞，而是将思维链🇰🇳（Chain 🧸😸of T🇸🇹🇰🇵hough🇻🇪t）与霍👫💜尔逻辑的🔠推理规则相结🎈合，引导 L🥧🇦🇸LM 逐🧠🇨🇱步推导每🇳🇬个代码🇩🇪📈块执行后程序🦵🍧状态所⚛🦒一区二区三区四区五区精品满足的性质，📖➰最终检查程序状态🕰是否符合“说明👯♂️书”的要求🇲🇻👩👦👦。
我认为🕶🇺🇲我们之📱🧂所以如此成功，🗳🕹原因很简单📩♌：我们的总拥有成☄🍺本（T🏖CO）非常出🇸🇦色🧜♂️。当1.6亿⬆🏔银发网民深度🔀🍵卷入数🇮🇲字生活，中国🌮的银发族早已🦹♀️👯悄然完成了🏴☠️🌇历史上规模最大、🥔速度最🦑🇺🇿快的一次数字💤化迁徙💯🍟。（来源：🚹arX🏥🏴☠️iv） 如下图所🧨示，F🇧🇷M-Ag😌ent🇩🇴🇧🇴 提出了一种创😺新的自🐕上而下规👨❤️💋👨约生成范🛋式：从👩👩👦👦用户对系🏊♀️🐱统整体正确⚱行为的🇰🇭👩🚀期望出发，逐步↔推导出每个函数应🌾满足的规约☮🕢。
属于是你想🇹🇯🎱下别的应用都没招👙🚹的那种🇲🇭㊗。更重要的是🧝♀️，这也意味着🌈中国航🗄空工业的接力与⏱🔄传承并没有🔔中断：老一👛代人把“从无🇳🇦到有”的🛏事情做完了，新🥭一代人则接过🤨他们的棒，继📏续去完成“🙃从有到🛢强”的任务🇱🇰🧜♀️。◎ 丁文超，华为🥛🌆"天才少年"计💁划成员，主👣导了华🦋为智驾🇳🇿🔂端到端决策▪👨🎤网络的🆑🚀从0到1——这🍫是算法创🏭新的能力☔。
