（来源：上观新闻）
贝索斯不是🇳🇨🧐。所以，评价程不时🍕先生在中🙍🇧🇳国大飞机事业🎬上的贡献，不能只👩🎓看他设计👩🦳🇼🇸过哪一架飞📋机，更要👰看他为🇷🇺🔳这项事业🎣投入了多久，⚰💘又坚持了多💦久🇨🇾📋。过去两年🤨🇨🇼，Ch🤷♀️⁉atGPT🔩🇦🇩们展示了惊人的语🥨言能力，🍲🎰也暴露🇱🇮了一个🇱🇾🎭致命短板：它们😇🧤不懂物理➡世界😔🎨。
2011年，他🛡🥈和同学🕝👘陈航、朱皓一起👴在杭州成立了群核👨👩👧👦科技，想要基🙉🙏于GPU的高性👮♀️能计算🇸🇷🇳🇿实现更广🤽♂️泛的应用🖐。今天中国商业航🧜♂️🏋天最容易出的问题🏎，就是大家🇵🇳都知道“👴◻火箭重要🎙🌈”，但🇦🇿很多时候，火箭和👞🔝真实需求其🏬🐲实没有绑🧟♀️🧕死🇧🇶💜。
没有AI之前，💁公司如果想做一🥅🏭款产品🍡或者一个网🎱💉页，需要前端◾、后端、设计🛏💅、测试……每个📏🐠岗位至少各招一👷♀️🏵个人，前前后后花❔费几个🧰🇱🇹月时间🙁⛅。但资金🍟🍇差距依然巨大🔭。尽管组合式推理的↖🇭🇳愿景很美好，但👩❤️👩一个关键的现实🇨🇰问题是，形式化🇲🇵🛋规约需要⬜👩👩👦👦靠人类专家用🕠极其严谨的数学🛵🎿公式手写，人💩🃏力成本👨🏭🌓高昂📷。
