（来源：上观新闻）
2019年👨👩👧底到2020年🍻初，系统第一次跑🤟起来了🤱。同期，销售费🇯🇵用同比🌄增长48.5👨👦👦🍪7%至16💬.36🥦亿元，财务费🔢用同比👮♀️🥀激增264.🇬🇲78%🔙🏨至22.88亿🐮🧙♀️元，主要🈺因公司扩大生产规💻☹模导致有息负债🇷🇼增加🇹🇱。其次，英伟达刚😀👼刚创立🗑时，有60⚗🗃家从事3D🔋🔔图形业务的公司🎡。第三是出🇲🇨口管制的不确定🍧🥕性🍑。这是生意差异⚜👚。AI介入👨👩👧之后，一个🧬初级程序员用👎🎋AI，可能🛸👨🦰一两天就能做一个🇪🇦简单的产🍴品出来🇲🇱🈴。一堆人就着“🍐裸辞 AI 创业🔣，重启🚾人生”的✳词条，☎咬牙辞职，💇打开电脑，开始做🤮❄产品🇾🇹。目前，Opus😫🕙 4.7已在🧂所有Claude🕡🇺🇾产品及AP🥮⛩I接口中正🙋🇧🇦式上线，🚇🚲并接入亚马逊Be🔇🔉drock、🦉谷歌云Verte🥒🇲🇵x AI😰和微软Found🔁🈺ry服务🐠。
但Feldm🧲👖an也拆解👩⚖️了英伟🈹🦔达的护🕶😦城河构👨🏭💇♂️成，其中有些🦌很真实，有些被高🤾♀️估了📊。我们能为他们带🧬来全球😛最出色🍿📰的客户🕌。但精通代码🎮的高级程序👈员，瞬间就能看💘❔出来缺了哪些东🐼西，他可以在☄第二次生成时告♠诉AI：‘哪里有🧮🖨问题，你🥈🧢应该结合🙏🤔什么，再改一🧾🥌下哪里📜🌵。所以，中国商🎅业航天真正该做♻的，不是急着⛵问“学马斯👩🦱克还是学贝索斯🤙🛥”💜⚖。因此，尽🧛♂️🦛管相关工作💈在自动生成🍇证明方🏌️♀️🍒面取得💼了长足的😄进步，但是从🧠⛓本质上🗒🌄来看形式化👊🐲方法仍然是‘屠🕟👗龙之术🎹’，难以推🚦广至大规模*️⃣👷系统软💲🏹件🧽。因此，对我而言🚤，这是我最终会思🎳考的问题⚜🖕。现在它😴60%的收入都来♌自企业客🇲🇱🏊♀️户，就是🇰🇵从这条管道流过⏏🇧🇸来的🧻。
