（来源：上观新闻）
洛小山⛑，公众号：🇴🇲🇷🇼洛小山202🥰⏸5伊始，万字长文✳刷新A🚅I产品2☀0个认知 但现如🤥今，我发现👨🏭🎧我还是粗浅了⛷，现在开发和产品🚄🖼经理的边👥🥦界越来越模🍢糊，已经💙🔕不是产品🏴经理懂技术那么简🐈单… 上个月，我🗽对我们部门工位排👨👩👧👦列进行了调整➡。06｜大厂永远📉不敢加的功能🇿🇼 马拉喀什回来之🚃🎴后，Pe🇮🇴🇫🇴ter ⚖觉得这东西"太厉👩⚕️🎫害了，也🥟🎺有点吓人🔌🙍♂️"🇨🇦。“我们希望有人帮😟我们搭个桥🐞🚃。它执行的是🏢 NG-🈵🧕3 任务🧰⛩。这才是中国↘🤸♀️商业航天👙下一阶段最该逼🇫🇷🚪问的问👇🏰题： 到底🤸♀️谁手里，真的攥着🧚♂️🙅那张“需求🥘⬆船票”？ 谁不是🌛为了证明自己能飞🐢🤙，而是为⌚了证明🍶自己能长期拉🛫货？ 谁🤖↪的箭背后，站着的🇪🇭不是 PP🇨🇰T 里的未来🔤🏦市场，而是真🌙🏛正会长期付🔷钱的业📃务？ 谁🍨的发动机🚳、整箭👁、回收、客户，已💖🏡经开始出现🥡🏩闭环雏形？ 💲♍谁又只是♥把“可回收”当成⛈必须先赢一次🇧🇷的技术公关👩🦲🏅？ 至少🌳到今天，我还没🛠有看到中国🗃出现一家真正意🇸🇿📍义上“像蓝👞👨🦳色起源这样，先把⛳👩🚀需求入口咬死🧞♂️🖊，再围💊着入口去做🎖💹可回收大火🇩🇯㊙箭”的公司🇫🇷。
让它真正到🌜达拐点🌀的，是AI对🇳🇴🧡算力需求的量🔬级跃升，目前市场🐟🇨🇺普遍预期📝🖨2026年将成为🌜😎CPO迈🍁向商业部署的关🤾♂️😩键起点🕣🌾。这家总部🇸🇮位于加利福🤹♀️尼亚州桑尼🍎🇦🇹维尔的C🍗🥑ereb🇮🇹ras👨💻🏀最新估值为2😋31亿美元，该💆🃏公司还计划在下个💰月通过估值约🕜为350亿🇸🇨🔼美元的🇸🇹👨🦳价格发行筹🥙集30🔛🇲🇱亿美元💓。本科期间，🍡他师从中🇦🇴📺科院院士、前北🚏航校长李未教授🦂⛷，研究数理逻🚫➿辑与定理自动证明🚿。因此，尽管相关🇵🇦工作在自动生成💫🥢证明方面🍍🛤取得了长足的🈯🚽进步，❄但是从本质上来看🛥形式化方法仍🎬然是‘屠龙之术👲’，难🖊🛄以推广至大🤺规模系统软件🤚。数据显示，🚣2025年中🗼🍴国VC、PE🇰🇪市场新🧢成立基金👩💼6127只，募资🇧🇶规模合计3.🕟💲09万亿元🇬🇶。
