（来源：上观新闻）
Roma⏯🤳in：是的🇿🇼🚼，我觉♦🇨🇩得这很🇲🇶➕大程度上取决于🧴🕛你刚才提到😀的产品性质🎛🦐。尽管组合式推理✌☂的愿景很美好，但✈一个关键的现🔚🇧🇻实问题🐽是，形式化🦢🦄规约需要靠人类👲🕘专家用极其严谨的⚽数学公式手写，👅人力成本高🤫👨❤️👨昂🐮🏬。除了资本🏗⛹️♀️，还有企业合作🍢需求、🗽政府邀🏊约、各👏种采访请求🇲🇶。他们早就❗🗄意识到必须⚜这样做⚔。
Anthro🧻🇹🇲pic😐上市前💂😜估值约851📧♟️0亿美元，Op🎑💞enAI超🦞🇯🇵过5000🌥亿美元，埃隆·🇷🇸🦷马斯克的xAI🇳🇨融资规模在8🇲🇨🏺00亿美元左👎右🛷👈。当岗位在缩减，🍄🇬🇭仍在岗的程序🤪🍰员日子就🖊好过了吗？ 🦴🇫🇮“业务倒不会变🇳🇪得更加复杂，⚪🏛但你其🌖🌀实需要做的事情🚍更多了——原❔来需要花三五🐘🦸♂️天的活，现🏑👩🎨在有的人使用🐝🧛♀️AI，可能一两天🤳⁉就能干完♾️😇。
要么他们通过某些💆♂️渠道拿到了够用📫的芯片，要🚣么在技术🕠上找到了进一步压🆎低算力需💷🔫求的办法🕎🇧🇬。现在，这◾🛋三个变量🎁🧞♂️同时在增长🚕☁。这些问题本🌵身都可以解决🏋️♀️，但只有🌡⚛解决了这些问题🇰🇪🧮，面板尺🌌🌐寸所带来的经📅济效益才能真正实🇨🇾🤦♂️现🌥🏦。
