（来源：上观新闻）
不过我更想🌏说，探索欲和好奇🌛🇴🇲心，也🦃是非常重要🚌的🏛。”沈阳教授认🎟💯为，成都兼具深厚🌑的文化底蕴与坚实🚮😑的工业基础🆘精品产品福利，更重🧫要的是其开放🇳🇿⏯包容的🎵生活方式，有利🖍于推动更多普🐹😹通人参与AI👩🔧创作与应用，🥫进而孕💆育出大量“💪超级个↔🇬🇱体”，释👨放新一轮文化与生🍯产力潜能🏙🇵🇷。训练成本🏂😃低，不等于🇹🇦👲扩展成本低👙。
对中国大飞🏗💃机事业而言😢，程不时早已不🇹🇨只是一个㊗退休多年的设计▶⛩师、一位老专家，⛹️♀️他更像是🏂一种象征，象🕙征着那一🤩🔁代中国航🇬🇸空人对大🚜♎飞机近乎执拗的🔐🚴信念与守望🔔↖。在 20 世🇹🇲纪 60 年代😴，托尼·霍尔提🏔🛐出了今天形式🎣化验证🗒💋的重要基石—🔮—霍尔😚逻辑，然而🈯直到他今年逝🦔世前，形式化验🏉证仍然囿于人力成🦝🙉本，难以扩展至大☄规模软件中💘。
我们设计了一🇵🇱🥽种开发者完全🆖无法支持🎋🧑的架构🛫。但在我看来，他所8️⃣执着的并不🙊是运十这个具体🏳🇹🇻项目本身，而🏑是作为老一🎄🇰🇬代航空人🇪🇭对国产大飞机事业🇦🇷👷♀️的一份坚🎟🆖守🛁🇲🇩。当资本和媒🖌🌔体聚焦于“谁能🕖💽造出最逼真的虚拟🙈世界”时，一个更👎根本的问题🏓被搁置了：我们👨💻🎯真的准👂🇫🇴备好了吗？ 💛🍀这或许才是世界👨❤️💋👨模型赛🌉🌺道最被低👨🎓估的变量🧬🕸。
