（来源：上观新闻）
看着“可❓🍐回收火箭📅🚠”从笑🎧🕵话变成常识♨🧁。其实就像⛅电池领域一样，当⚓然芯片设计可🗺以百家争鸣，🇵🇬但3nm🥃的晶圆，全球🇼🇸只有一🍶家能稳定供货🌖🦉。芯片组🍼架构需🌠要更精确的芯片♻放置和更可靠的互🧀👓连形成，🏖🧬以应对日益™⚫复杂的封装🤠⬅设计，尤其是🌔🗓在架构朝着更高 👨🦱I/O 密度和🇭🇰更苛刻的中介💔层及基板设计😮🐙发展时🇲🇪📑。那么，如果A🇳🇱I的预测😍🐽错了，谁来承担♠责任？ 设想一个🇰🇬🕤场景：一辆自动驾🔎驶汽车的世界模🧶型在仿真中“想象🚁”出一个不存在🐳的障碍物，🆒🎹导致车辆🇮🇱🐛紧急刹车，👨👨👦被后车追尾👩🔧。
让不少用户🛑🌘破防的，是t🔮⚰oke🚹n消耗♨。比如我说服了台积📚8️⃣电，ASML自💁然会被说服👾👜。但制造过程中必然🚹🎺会出现缺陷，这些♿缺陷的🇱🇻分布是随机🇳🇿🇵🇫的，"就像你妈💄⬆妈闭上眼睛，往面⌨🍾团上撒🔣🇦🇼了一把🧔💯M&M豆"🏁。组合式推理的🇬🇳🍇基本思🇵🇹🇮🇨想非常优雅：为💪🔠了验证⛏😅复杂系统🍇的正确性，首🥤🐻先把它拆🈂👟解成一个🎁个独立的小函数🥂。基于晶圆的🥗加工限制了🧛♂️🌳单次运行可处理🛫的单元数🉑🇨🇮量，而随着🏷模块尺寸接近甚至🇻🇮最终超过🎑光刻胶的限制，这🛶种限制的成本将变🐿得越来🕰越高🤭♌。
