（来源：上观新闻）
Kell🔽🥜er自己的定位很🤒明确："有大🐱🦙量市场是英伟🇲🇳达服务不好的🛹。斯坦福的📂🌖数据显示，📼🇨🇭2025年美国🐡🎀私人AI⏹🍘投资285🎆🛬9亿美元，中国1🚒24亿美元🦈🛃，差二十三🤵🔏倍多😃。如果我们不像🔥现在这样构建NV😫🐬Link🚯、不像现🈸🍊在这样构建整🇨🇵🎠个技术栈、不像现🤼♀️在这样⏭建立整个生👩🌾🇮🇨久久久久香蕉态系统，如果我🕯们没有在过🎅🧩去20年里坚持🇳🇵建设CUDA—🇧🇫—那段时间👨⚕️大部分都🍆📿是亏钱的——如果🧦我们没🥑有做这🇺🇾一切，🍄就不会有人去做🦅。
你的问题是，“👩🏭我们想做🈁♨金融投资方吗⚗？”答案是否定☀🎠的☑🖊。芯片组架构需要更🇹🇲精确的芯片放置🍉和更可靠的👩💻🇩🇯互连形成，以🗼🛒应对日益复杂的↖封装设计，尤其🚣👩👦是在架构朝着🔐更高 🦕I/O 密度和更🇲🇰🇲🇻苛刻的中🐴介层及基板设🐧🇫🇮计发展时🧰🇹🇹。于是国🥚🌘内这几🇽🇰🆔家公司🕡🚓久久久久香蕉集体转身，各🍂🔚久久久久香蕉自盯上了其中🇨🇾🇭🇲一条🇲🇼⚗。
这提升🧚♂️了其在复杂🛒问题上的可靠性，🧥📡但也意味着会🛴生成更多的输出🐾🐂tokens🎣。世界需要他们的🌉↙存在🇵🇼。在 20 🥽👇世纪 60 年代🏚，托尼🍑·霍尔📂提出了今天形式🥛📵化验证的重要基🇬🇹石——霍尔🇪🇷🎙逻辑，然而直🎦👨🏭到他今年逝世前🌸，形式化验证🏟🎁仍然囿于人🚑力成本，难以扩🍂😩展至大规模软件中🇨🇦🧜♂️。
