（来源：上观新闻）
Feldman说🇧🇲，他从未怀疑🎧🌫过团队的执🇩🇲🦄行力，"我✝怀疑的是我自🇬🇧己有没有把他🔐们引向正确的方向😛"🌂。更扎心是第🤸♂️二道坎🐳，海外位置📳早就被🔙🚰占死了5️⃣🗯。我至少有这两种模🇸🇲🎖式，可能还🌾有更多🇹🇷🇬🇩。高中时他做T⚜恤，卖进🇸🇩了Nordstr🐭om🥫🍪。然后，给每个函🖋👍数写一份精确的形🇸🇷🇵🇾式化规约（⚫Forma🤤🚇l Specif🔋🤨ica👃tion🦢），即一份用🦸♂️数学语🇵🇷言写成✌的“说🏯💨明书”，🇵🇬🥚说明执🤼♀️行函数前程序状态🇧🇭需要满足什么条🔟💯件（前置条↪🇮🇷件），执行🛑后函数保证🇭🇲输出什么样的结果💹🇪🇦（后置条件🙋♂️）🎾。
Feldman的⛸这几期播👨🦳客都在几个月🌮前4️⃣。复杂任务出🏄♀️🍖错，你根🇰🇳🚍本不知道它🔻哪一步想岔Ⓜ了，排查成本🇳🇴🎌翻倍👨❤️👨🍻。但从五大云服务商🚔的角度看🇭🇺🇹🇱，实际上使用这些💲🧱计算资♈➰源的是Anthr🔡opic◀🏄、Op🇮🇷enA💾👉I，以及有能力自🇨🇾🎫己构建各种📈加速器的大🛎型基础模♍型实验室🌌。
这种领先不🇵🇬是单向的成就，而😬🅱是双向的🚮▶深度绑定🇸🇮。Q：接下来是🍽🍕一个长问题🏌。OPC公司🛌最大的特点是📰人员极少，🎧能用AI替🇲🇶代的都用AI替代🧚♀️了❎。比如，就在🇨🇺本周，我🏰🇧🇮们刚刚宣布，🍈🇬🇸那位做了🇧🇾开源Codex 😁🔮Monit📝🇨🇲or的Th🦹♀️omas本🤛月将加入我的团🤛🇦🇴队🇹🇫。
