（来源：上观新闻）
因此，尽管相♏关工作在自动🕖🥔生成证明方面☪🇿🇼取得了长足🍚🇬🇼的进步😚，但是从🚼🚕本质上来看形式2️⃣化方法仍然是‘👲🇰🇮屠龙之术’，难🏴以推广🎻至大规🇭🇰模系统软件💕⁉。在本场论坛中🌃💙，来自 🧧NVIDIA、G🇲🇷oog🇦🇪le Clou📉🦏d、SGLang⛱🍋 社区、蚂蚁0️⃣✋集团、🔦昆仑万维🦌等头部科⚜技企业的🐴技术专家围绕🇭🇷🚩 GP☦U 底层编程、🏜云侧 AI 全✝⏪栈规模化落地、高🏥💇性能推理框架🦊🥗演进、🥊企业级🇰🇷🇵🇳多模态模🇹🇲型研发、视频生成🖌🕕到世界♈🤐模型的技术🎼实践等议题🐰，带来兼具底🌻🎫层技术深🥨👩🦱度与产业落地价🧗♀️🚵♀️值的前沿分✏🥰享🏁。
江一提到😈，早期D🚫📌eepSeek训🇩🇬练成本相对低，是🇲🇬因为团队在模型结🇮🇨🦖构、工程效率和蒸👵馏等方法上做得🚙足够极致🧜♀️🚡。智谱、MiniM🇬🇩🥼ax在✉📪港股高点🎳🇮🇱的市值都🎄曾突破3000🉐亿港元，按🌆🐗部分市场口径🇦🇲折算，Dee👊pSe4️⃣🧔ek的百🈺📰亿美元估值只是🌛🇿🇼它们的一小部分，📼🇧🇷而月之暗面🍯🗂这样的🧣“小龙”👩🎨，最新估值已🤼♀️经达到了180🇸🇧🇼🇸亿美元🎵🆙。
