（来源：上观新闻）
今年是Vera 🇱🇦Rubin，🇲🇵明年是Ver🥀💉a Rub🎸👹in Ultr🌼a，再📌🇵🇬之后是F🇮🇱☪eynman🚶🌄，再下一年🇱🇧可能是👫尚未命🌧🇿🇲名的新产品💌🌐。一堆人就着😱🔩“裸辞 AI 📈🐒创业，重启人生”🦒🕊的词条，咬牙🇨🇰🛄辞职，打开电🇬🇼🛹脑，开🍦始做产品🇲🇴🏆。现在它60%🥌的收入都来自企业🏋️♀️客户，🇷🇺就是从这条管道🕢流过来的🇬🇲🚄。市场需要什么💖、投资人喜🍇欢什么💆♂️，我完全不🤓知道，编程成本🙇♀️😂变低了之🇪🇦后，我反而浪费了📋😸大量的时间在☢⛸作出产品🚂🇳🇺本身，因为这👫反而成了最能带给🤔🎚我正反🤐馈的事情🦑。
在 2🗝0 世纪 60 💵年代，托尼🗼🃏·霍尔提出🇮🇨🥢了今天🧔🇸🇴形式化🇾🇪验证的重要基🐃石——霍尔逻🇧🇳辑，然而直🇬🇾👩🦳到他今年🤭逝世前🇲🇳，形式😚化验证💡仍然囿于人力🌎😅成本，难以扩展至💍大规模软件中🐾🇹🇿。”张玮说，随😫🍮之而来的，是更多🇲🇿🇰🇷的需求、更快的😝工作节奏，🇧🇬“对于我👩✈️🛡们这种职业来说🌟，本身要做🇧🇳的事情一直是源源🙊🏄♀️不断的🇦🇺，只不过AI提🍠🇳🇴效之后，你会🇸🇰有更多的想🇨🇵🆑法、接🚃🥯到更多的需🥧求🇭🇳。
第二，Cere🌿bras的🕺推理服务👈支撑起一😈🔳批今天还不存🐆在的应用⤴🕛。这是“按结🦄🥉果结算”走向合同👗化之前💿🧴，必须补上的🐍🐄最后一⛅块基础设施🆔🛬。“它刚开始😤😇可能可以达到7🇬🇧🖇0%-80%，🔏🇵🇳但总会有🏮20%到30%🎨🤼♂️的出入，😹🤒暂时还达不到百🚏分之百🗑🏳。但我们的愿景🔞🎁是让用户在云端🛡向多个智⛎👏能体委派任务，它🇲🇰们独立运行👨👨👧🚸。
