（来源：上观新闻）
合作中🇹🇯止后不久，灵明光🍲子发布了其A🇩🇪DS6🚱311芯片✌；速腾聚创则选择🏂🇪🇷其他路线，由内部🕰🇩🇯团队攻克E🎵平台芯片，其🛅E1系列全固态♍数字化激🤫光雷达于202🛍🕟4年底量产，并📁在2025👅🦈年广泛应用于🚓💇车载、机器📮🇨🇲人等多类客户产品🌫😦。因此，尽管🇦🇩相关工作🇷🇼在自动生🕊👸成证明方📘面取得了长足的进🇨🇰步，但🛠💵是从本质上来看🇬🇾形式化方法🛅仍然是‘屠龙之术🐢🕹’，难以推🥞🇺🇲广至大规🇱🇷🈸模系统软🚏件🥘🥊。
行业内的🔡其他企业也在加👩👩👧👦速布局硅光子领🇦🇲域，推动光互连技🗣精品熟一区二区三区四区不卡术的产业化🏇落地👩💼。与先进🏂🛑芯片不同，成🇻🇺熟节点的半👷♀️👗导体器件🐺👼难以轻易⛸🤦♀️替换🌱。华中科技🦢大学王兴刚团🐊💮队 投稿 量子🕝🍽位 | 公众号 🇬🇩QbitAI 🍾研究者们花了十年🇸🇮🚫去扩展层内的计♏🚯算能力🦸♀️，却忘了扩展💙🅾层间的通🌌🇪🇺信能力🐛。
