（来源：上观新闻）
专家认为，未来几🚐🇮🇱年内，供需失衡🙄的局面仍将👩👧👦超碰666持续🎸。金灿（化名🆙🖖），一位来自🕕东北的连续创业👗者，大学的时候⏮靠自学🦌🇱🇧编程给🚫人做外包项目赚了🕗🇵🇬第一桶金🕋，去大厂实习之后♥👷♀️的想法就是：打工🧚♂️是不可能打工的，6️⃣还是得创业🌼。接下来，平台🎹流量、资金🚖都将向精📴🎴品短剧倾斜⏩。汽车行业👉🍽如今与其他行业🚲争夺相同的半🦷🔌导体资源，这使得➗🌳当前的芯片短🛳缺问题👃🛤更加复🥍杂🦶。谈及团🕕队内部🔉☹产品开发的🇸🇰规划，🥽😒两位负责人表示🇹🇹Codex完全📖放弃了中期🦙规划，仅关注🔛👨🎨短期以及长期的研🎺😑发计划，把时间限🚣制在8周内🇩🇪🦸♂️以及一年🇦🇱以上🍴📆。
也许会存在这样♐一个世界🏋️♀️💆，有成千上🏄万家A❄I公司，🕖它们的计算🛒量份额大致相等🐥🇵🇸。你可以走👩👧👦进它生成⛄的房间，但你推🚳🇨🇫不动里面的🖤⛔椅子，也打不🙇🕯翻桌上的杯子🐽。那么，如何🦕在绝对严谨❎与工程可🇳🇷👮用之间取得平衡呢🇭🇺？FM-Ag👨🎓🍽ent🛫 的基🍡🧾本思路是：先分析💞 LLM 擅🎾🧂长什么，然后将🥫其与传统👨🦱形式化验🏆🔮证流程进行对照，🧀判断哪些💰🙆♂️步骤可以适当放宽🧲🇰🇷对“绝对严谨”的💯要求，从而换🤙取“工💩🕣程可用”🏈🥉。
Pete🥡r Yan♎g：是啊🌈🆎，我真的🥼觉得他就是个🇵🇦🥮普通人，但他📃却打造了一✖🍃个超棒的开🇹🇻🈵源社区🦝⏏。我们可以承担向◀🤯前推进的投入🔮↪，但承担不起回头👝的代价🇧🇷。第一道坎，国内开🇺🇦发者不愿意掏钱🍯。中国AI公司同🐎时受到💬国内监管和🚄🔕跨境资本⚔⚱流动两方面的制💑约，美国还限制📰🏴本国资本投资中🇱🇮国AI企🇸🇭🇫🇴业👳。
