（来源：上观新闻）
没错，那个时候智🇭🇺能机还没普及，就⛰已经有化繁为🇦🇴简的手机出现了🏇💧。我看待人工🧛♀️智能时代的一个观👨🚀点就是👥：我们每个人都可🎻以更坦诚💍地做自己，做👨👧👧⬜真实的自己🥒🧱。这是“💑按结果结算”走🚴♀️🏤向合同化之前，必🇧🇿须补上的最🏏🕙后一块基础👽设施⌚。但当Anthr4️⃣opic需要我们🚙这么做的时候，🌤🔵我们并不具备条📈🎵件☄。其实就像电池领🤚域一样🇮🇩，当然🥙芯片设👩🚀🥣计可以百家争🇳🇦⚠鸣，但🎵🤞3nm的晶圆📹🥴，全球只有一家😛能稳定供货🍻🇷🇼。
因此，🚂尽管相关工作在自📔⤵动生成证明方👳♀️🏰面取得了👁️🗨️长足的进步，👠但是从本质😡上来看形式化方🎟🐤法仍然是‘屠😈龙之术’，难以🇦🇽推广至大规模系👨🎤🌖统软件✳➕。由于图形渲染技🚅术的商业模🇲🇩🖐式和应用场景不清🇨🇦🦗晰，很多投🇻🇺资人甚至连GPU👤🇹🇿都没听过，所以☝当黄晓✈煌带着😕💻不成熟🛏🎵的BP面☂🔣见投资人时，屡遭🇽🇰拒绝🇩🇴。
“我们想做的是🧬🥵消费级的🇸🇷🎱脑机接口🐰。"他用💲飞行员训练做😲🥠类比：飞行🇻🇦员大部🇮🇷🧖♂️分时间是在直🇸🇭📠飞，但训🇷🇴🐰练价值最高的是🇲🇱📐极端场🍀⏲景，发动机爆了，♏暴风雪中的紧🙆♂️🦍急降落1️⃣📶。我再补充一点💿🈸：我仍然认为🕎🛋，每个问🔋题都需要一位对此🧗♀️负责的人，👩🎓但我并不觉得🇸🇩这个人非🥜得是PM不可🇹🇯。比赛中机器🧸日韩中文色人曾遭🕜遇撞车意外🧢。
