（来源：上观新闻）
太长不🇸🇨🐵看版，重点笔记😩📣放在这里👩🎓💒了： 输入是电子📆，输出是🐡Toke🚸📯n，在🧾这中间是英伟达🇱🇺。普通人到🇵🇲底能用🎵 vibe 🆑😛coding 做↪🇬🇵什么？ 前几天看🆔🥠到 A🇬🇫㊙nthro🈸📷pic 对 8🐃🐵000🚆0 多 🇲🇭AI 🇮🇪用户的调研，其中😣有一条，说🇦🇪🇲🇾东亚用🤪户对 AI 的诉🧚♀️⛪求就是📲：求自我提升，和🐆🖋财富自由🗾。
第二阶段叫做"数⤵🌫量对齐生成"🇵🇰。这是我们的优势：㊗🚒我们的架构↗让新算法的发🏕明变得容易，因为🦈它是一个可编程📕🔻的系统🙇🐒。图丨从左至右🥺👋分别是：🇷🇼王肇国、陈海波和⚛丁浩然（来🦓🕊源：受🇱🇧🦕访者） 跳出📌“将错就错🚼🐞”：AI 👩🎨开始从需求验🐲证代码 那么，👨👧FM-Ag🌫ent 是如☦何将形🆓式化方法用于大规🇸🇴模系统的？要理🕷☃解这个问题🇫🇲，我们得先回🚶👷溯到图灵👺奖得主托🌙👉尼·霍尔（To🤼♀️ny H⏸🐼oar🌅🇵🇼e）早在 20 😃🔘世纪 6🍊🤼♀️0 年🌸⚡代为代码👨👧📮验证指明的方👵向——组🕍合式推理（C🍉ompo👩👩👧siti🇯🇲onal Rea🔦soning）🌩。
这种路径差异的背💣后，是🧽⏫ODM行业一5️⃣个残酷的生存法☘则：要么靠规👨💻模碾压成本，要么🌱⏯凭技术筑🦋🖌起壁垒🇻🇺。还有采用 QW🦄⛏ERTY 💣⚪全键盘和🧠💰墨水屏的 M🌜ini🐇mal Phon🇬🇺e🦹♂️🈯。实际上，我也😄🚛不认为软件公🕊司、工具开发⬛㊗者会失去护城河🥗🔱……如⛰🌉今大多数㊗软件公司都是工🖇🍵具开发者😱。
