（来源：上观新闻）
一台20⚰万元的机器🤡人，日🍘租金再😧低也需数®🦂千元，🚶因为"一♒☀个人工出一天要🥫🐨500📨块，3🇳🇪00块📇租是不可能的🇲🇶"🌜。从资本市场角度来🇰🇾看，此时更🇯🇲需要小米🤧🔉汽车成为“压舱石❓”🍒🚶♀️。
LeCun🐅🎟 开喷了，这次不🐫💀是对 Me⏩ta，不🇭🇲🤬是对小扎，而是🔪对 Anthr🕎opic 🚉😰CEO：Da🍶rio🧘♀️🇨🇼 Amod🇸🇹🌤ei🧜♀️💩。AI 扩📨🇬🇮张的基数实❎在太大，即便📁🎴软件层面能够🦴「省吃俭用」🎬，总体的内🔭存消耗量依👪🛋然极其庞大🌐🇫🇯。
在 20 世🗒💴纪 60 🕙🥚年代，🖖托尼·霍尔🔠提出了🎈今天形式化验证⏯🖨的重要基👣🦶石——霍尔🇰🇭🇻🇮逻辑，然而直🔗🏒到他今年💒🍮逝世前👩✈️🔶，形式化验证仍👩🔬然囿于人力成本，📢🐥难以扩展至大🐠😴规模软件中🔣。
