（来源：上观新闻）
Peter🚟🧠 Yang：这🍜📢正是我在团队中发🎄®现的🏢。因此，尽管相关🇰🇵🔋工作在自动生😐🇬🇦成证明方面取🥢😥得了长🇲🇷🌗足的进步🇩🇴，但是从🥨本质上来🧿⏬看形式化方法仍↩🇱🇸然是‘屠龙之术🏁🔯’，难以推👩👩👦👦广至大规🇷🇼模系统软🚇件🕶🦚。推理芯片需求的👼🇧🇧爆发，根本上源于👯♂️🇮🇹AI产品形态的演🚭进⛹️♀️💛。它就连🐕应用商店🚣♀️🥍、浏览⚙♌器都不⛈🎧提供🤟🧥。你知道🏦，在C🕯odex📄团队内部，最近才👨❤️👨🌊出现了第二位PM🎮🦀，我本人™🐍也是其中之😏😟一，还有几位🦸♂️👬最终负责人🕗。这一承诺从🎖未改变过，👊😉一点点👨👨👧都没有📕。它甚至还⛱限制了🇹🇻👮♀️打电话☘的能力🇪🇨。通俗的理↔日曰躁夜夜躁2026解，你让🐓🇵🇰AI查资料🌌，钱主要花🐽🔧在搜索上；让它动💃脑子，钱主🎞要花在模型上；🤦♀️让它一直在后台🧾干活，“开👊机时长”本身就🇵🇦🧛♂️是一笔账，所🇳🇴🇫🇲以根本不存🕍🚥在一张能通用的💿👩🦱“AI单位😙成本”表⚒。
这种看🚨起来很智🐰商税的🌀🖍「数字😕🏈戒断」手机🔶🧞♂️，赛道里的💱⛓玩家还😱挺多🇬🇺。但DeepS🥀eek曾经的🥵🥮优势，恰恰在于对💁英伟达强🐶绑定🦌😈。对于AI时代🙅🖋团队内部的职责🎖🕸分工，🚫😦Alex⏩ander与Ro⛩📲mai🕚🌑n都认🇷🇺😓为“人才栈压缩🥢”已经在Co🇧🇬⛄dex🥭💜内部发生了，🌡🥇Romain🦷🇦🇨认为“岗位边🇧🇳⚰界正在变😺🇱🇺得模糊🏁👍。我和大🎀🚤家的看法正好相📖反，我认🤣为Agen✂👩👩👧t的数量将会🇦🇬🐄呈指数增长，🈂🛫工具的用户数量也🏴会呈指数🧘♂️😗增长🇧🇸。
