（来源：上观新闻）
Pro 😪和 M❤🤺ax 用户🎓可免费试用 🇰🇼👗3 次🏭。当时，我🇵🇦🇫🇲并没有深刻🇲🇷意识到，建🇻🇦🌛立一个像Open🏟🏳️🌈AI或💇😐Ant🥝🔜hropic这🦇🥡样的基础AI实🙎📌验室是🏇久久夜色撩人精品多么困难，他们🧸需要供应商做出🥩巨大的投资🗂✉。
当时我其实没明🎷🧙♂️说我们正琢磨☑着开发一款应🥣用，但心里多📦🇲🇴少有点儿🍄在试探这个💳想法，🦁❕我说，就👨👦🏝是那种能让人轻♾️🇸🇴松搞定任务分配的🧐👩🦰新界面🍼🏴。“用户通常🐈💊使用自🇼🇸🤹♀️然语言描述系🕚🧛♂️统设计，FM-A🙁gen🐠t 生成的🚉规约也是👠自然语言，👤而传统形式化🇰🇭🌊验证器只🚥🤕支持基于数学公式🇷🇸的推理，二🌯🇮🇳者存在巨大🧭的语义🇨🇦鸿沟🚥。
因为我们很幸运👒，能参与🍪🔁Codex项目🇷🇸，它其实📉是一款面向🤼♀️📀开发者的构建工🇺🇸具，而我🇬🇬😚们自己恰恰就🥙是最优秀的用户🛣。在转型的关键🧕🌚节点，AI与电池➕🎳的深度⛏💜融合，🤳🇰🇳成为了破局🇪🇪🥦的核心方向👷♀️⏫。
