（来源：上观新闻）
R1证🖲明了一个小👨👧👧📙团队也可以用🦸♀️更少资源、更🦇开放路线，做👜😲出世界级模型🧛♀️🌔。从收入规模来看🙎，2025年宇🐏树科技收入17🔶🇿🇦亿元；20😂25年，🦊🇵🇱智元收入1👢0.5🐔亿元；智元董🧚♂️事长邓泰华称该公⛺司是最快实🦉现10亿收入🇨🇴规模的机器人公🔐🇳🇵司，并预计在20🍨🖼27年实现10🗞😍0亿元营收⏫。
那么这种高价是🖼🎴否具有持续性？ 🐋🇺🇸李一言的判断是🚥阶段性✅的🔪🔂。Token经🇫🇲🧀济学：倒逼🔃出来的入🇬🇷🇸🇮口生意 一🇸🇹年半前，向🏺任何一家云🇹🇬厂商的销🇫🇷售询问◾MaaS🙄🕰能否盈利，答😧案几乎是🦹♀️🏊清一色的否定（M☢🐈aaS=Mod👨👦👦🙍♂️el as💆♂️ a Servi👩✈️🇨🇻ce，模型即服🚈🤢务）👩🦰💻。格恩的解题思🌸🌿路是全🔻产业链🤔垂直整合💕，即所谓🔼的IDM模式☣。
像个不管后果、🤔先冲再说的人🏈。性能方面，L🇪🇨ingBot-🍈🥾Map在多个📅📣权威基准上表🇭🇰现突出🆓。这一趋🍲🎴势预示🇯🇪着芯片短缺问题🧾⚙在未来几年🇹🇷仍将是一个重💂♀️大问题👍🏩。第三，涨价传导能🇨🇱🎞力🇧🇱🚝。就算不付💚😂费开vip，也算😄🈷是高度🍖👨👧👦可用的状态🇫🇮。在 20🗞🇵🇾 世纪 60 年🇧🇹代，托尼·霍尔🇵🇸🙃提出了今天🏣形式化🏐验证的重要基🇵🇰石——霍尔逻☺辑，然而直到🇹🇿他今年逝🥳🔅世前，形式化验证🈁仍然囿于人力成本✌🇸🇿，难以扩展至大规🤫模软件中🦀。
