（来源：上观新闻）
黄仁勋：在现🚐🥛在这种规模下🌔做到收入翻🚮👶倍确实令人难以💑👙置信🇰🇳。而这件事，恰🥥🥅恰可以从那枚助👰🎡推器的名字里🇰🇾👰看出来⚜。不过，并购🤙整合为北方🎒🚒华创带来的短期成🔓本压力不容🧟♀️🐩忽视📱。Q：为什么？😃 黄仁🇸🇯7️⃣勋：原因🗑👨🔬在于过去💇两年行业已🎹经对此进行了大量🥎投资，其规🎊👨👧模甚至翻倍增长了🖐💿几次👬。
我们有🍴🇷🇴技术不对称的优💋势😲。他认为🇦🇸🖌2024年🤵第四季度是一🇱🇻😪个转折点♌🚡。因此，尽管🌠相关工作在自动🇾🇹🔜生成证明方面取得🇸🇻了长足的🐁🔌进步，但是📜从本质上🦈🇩🇿来看形式🇹🇩🕉化方法仍🧂☺然是‘屠龙之🐡🚔术’，🧗♂️难以推广至📍🧕大规模系统软件🚚。其实也并不明智🇵🇱🇬🇵。这一平👯衡的关键在于🇱🇺🥉利用 LLM 的🤴🇸🇱两项能力：一是在🦄🏗提供函数调用上下⚙🚻文的前🧱👽提下，能😤🚦够理解每🌒🏥个函数的意图👩🔧🇧🇫；二是在处理较短⛺🔣程序时🎽，能根据输入准确🎭推导输出9️⃣🐢。
