（来源：上观新闻）
黄仁勋的逻辑是😤，软件开发者最在🤖乎的是“安🇨🇽🇭🇳装基础”，你写的🈸代码能跑在多少🎀🎮机器上，这才是真🧖♀️正的价值👴🌆。经济学中有一🤽♂️个概念叫摩擦成本🇫🇰⛅（Fric🚯🈺tio😴🈺n Cost🐙），指的是在经济🖊活动中由🙇于市场不完善、信😸息不对称、🕊交易成本等因🎽👊素导致的资源配📴置效率降低所产🇧🇮生的额外成本📌。
看着马斯克先🧵把牌桌掀了，再🍢把规则📑💫改了🇧🇼🇧🇦。图丨相关👩🚀论文（来源：ar⛰Xiv）🇺🇦 相关论文🥗🇭🇹以《FM-A👩👩👦👦gent：通过⏹基于大👌语言模👩🎓🥦型的霍🗼🇬🇶尔逻辑推🥤理将形式化方法扩🥨展至大规模📦系统软件🎇》（FM-🍨Agent: S🍛✍calin🕚🛫g Form🙇♀️al 🇨🇼📪Methods🇧🇦 to Lar🥗ge Sys🧻⛎tem🍐s via LL🇭🇷M-Ba💱⛏sed🕔⛅ Hoare🇹🇻🔯-St⚒🇸🇧yle🇵🇹 Re🍶aso🤧💳ning）为题❓🤲发表在🔲🎻预印本网站💭 arXi🐾🗜v[1]⛈。
我们更倾向于把自🚣♀️己定位为一支📊🎱刻意带🙆点“海盗船”风格🚓🇲🇫的团队🎏⏸。Rom↩ain：我们从🔆一开始就坚信💂♀️，未来的编程🐑会走向智能体委👨⚕️㊗派模式🌗🇳🇫。我很好奇，为什么👮🇹🇬不早点↘😽做呢？ 黄💠🍴仁勋：我们在🇨🇦⏮能够做到的时候🕗🧖♂️就马上做了🦋🔂。并购延伸🇪🇹❎布局，费用🇲🇺增长带来短期阵👠痛 如何🍷应对同行业对👨🦳🏔手的竞🦊🇱🇦争，或许☎🉐是北方华创🦎🇮🇱面临的主要外部🙈挑战🤫。
