（来源：上观新闻）
如果软件变得廉🇮🇳价，英伟达😋📙会不会➖🛁也失去护城👩🔧🔉白浆对白河？ 黄仁勋😨🧜♂️：归根结底，📎必须有某种东🏌️♀️西将电子转化为T🛌😨oke👒🎼n🇨🇫🇦🇫。也不像贝索斯那🇬🇮么漫长📽。Hanmi🎓 Se♒mic🤓🚟onduct🧟♀️or在🕜🏝这一领域快速崛🚰起，其TC🤲🐞 Bo🔼📬nder设🌄备已被SK海↗力士与🌟🧰美光等主😷流存储厂商采用，🇵🇱↪成为HBM堆🗑💋叠中的核心设备之🇺🇿一🚌🚭。
尽管组合式推理🍌的愿景很美好，🇧🇱但一个关键的现实➿9️⃣问题是，🇳🇴形式化规约需要靠🦠人类专家用🛡极其严谨的数学👨✈️公式手写，人🔧力成本高昂⌛。过去，📽🇹🇭一个程序员👅🏋要从初级走🐊🖲到中级🍪，需要花几年时🇲🇨👨🚒间写代码🎍、看系统设计、积😓累业务经验🕑🎹。他们最初囤芯🇦🇶片是为了🚱做量化交易🐠‼降延迟，后来这💠🌍批家当转给了D🛄🎤eepSee🐭k搞模型研发⏫。
202♣5年12月 迪拜📈GIT🇨🇩EX展会期间，I🇲🇷nside G👨👩👦👦🅱ITEX😴😡播客对Feld⚓man进行现👭⚽场访谈🇲🇾👁️🗨️。比如，当用户输🥡🔒入"三只猫在🌹🥅奔跑"，现有🙁🇿🇲的主流视频🆒🔑生成模型经常⛈生成出来🌃两只或四只猫🇬🇷。
