（来源：上观新闻）
一堆人就着😁🇼🇸“裸辞 AI 🥛👾创业，重启🚾⛄人生”的词条，咬🤳🇷🇪牙辞职🇹🇭🚋，打开电脑，开始🎄👂做产品🚈🗡国产色片。在 20 世纪🥗🤺 60 年代🏅🇨🇳，托尼⬆·霍尔提出🔌🏴了今天形式化⚰❓验证的重🍀🐑要基石——霍尔逻🧛♀️辑，然而直到他今🎍年逝世前，💺🍨形式化验证仍🔚🧞♀️然囿于人力👲成本，难以扩🤾♀️🇹🇴展至大规模软件中🕷。如果你是🇲🇷😂这些A🏢🤝I初创🌡公司之一▫，你会🇱🇦选择哪种架构？🛂🧬你会选择全球最普🍋及的架构🗣——那就是我们🇰🇮🇨🇲。2019年底到2🇻🇦020年🍤🚺初，系🧜♂️统第一次跑🇸🇩起来了🐏。
”事实上，我的🇲🇰👩🏭演讲中🍾总有一部☄分很“折磨人🙍♂️🌄”，几乎像👵在上课🇵🇹。腾讯将通过最高📰🎪500万元的厂牌🎊👨👨👦👦激励政🌟策鼓励精品创👨💼作，共享用户调查🇲🇲、创作中台、服🚱🏴装道具库🇦🇩🇪🇨等核心资源，为🔯新锐导演🕷🥠、演员、编剧搭建🦑🍊成长阶🏕梯😜🐝。当然我刚才什么都🗯🇼🇸没输入，换🍞作亚历克斯这种产🇬🇮💊品负责🇹🇩人，一❌开始就会给🚷🎧很多明确方向🇷🇺，而我这里是👳3️⃣让Codex自己🇸🇮先出主意🌂。于是他们🏑做了一个大🏦胆的决定，把这🎢🍘些宝贵资🚹🚡产开放👆🙅给产业界⛹️♀️🧯和学术界🎗。一堆人👷就着“裸辞 A🇬🇭📛I 创🌸业，重启人生😾”的词条，🤵🚰咬牙辞🐪🍂职，打开电🇸🇭🥅脑，开始🎩做产品🕎。
