（来源：上观新闻）
AI领域🇻🇮👌创业者阿曼·🤼♂️西杜（Ar©maan🚵🇲🇺 Sid🚘🌈hu）分🔽析了这个差距🐕，并给👼📁出三个👆🙇原因： 第一🚮是开源模式🌐🦀。“用户通常🆓👛使用自然语言描述🚿🇱🇹系统设计，FM🥭-Agent 生🏡成的规约也是👩🌾自然语言🇮🇶👠，而传统🇨🇺🥅形式化验证器只🇲🇼🍈支持基于数学公式🇲🇾🍘的推理🌡🏈，二者存在巨大🎪的语义🥮💾鸿沟⭐。
" 技术上，😯🇰🇵这不只是😈⛏造一块大芯片🚮的问题🏰。客观来说，🐍传音控股成🚫就了易🔽🎷景科技的今天，易🇧🇴景科技👩❤️👩👨❤️💋👨也意识到未来不😱该如此🧂📊依赖单🇬🇬一大客户✳。他拉上陈航，在💚💦杭州一间借来的阁🤵💽楼成立群核科🖌技，开始💱了“让🚝🇦🇬计算机模拟📅👩👩👧👦物理世界”的🏺⚔征程🦗。每一年，我们😣都让你值🤪得期待🔐🇳🇱。在先进逻辑、🤜HBM、3D N⛎AND 等高复💉杂度工艺中，🤸♀️部分重要😏🚜材料品🖨类呈现单片用量🚰上升、品类数💌增加、🚑🎓或价格抬㊙升的复合🌵🛄通胀，因此在半导👩🌾🌯体行业景气上行阶🐟段，部分产业🍑🌱链环节👨👨👧呈现更强的增长弹🚙性和业📁绩落地确定性📶🔢。
功能包括： 高🗿😥级驾驶辅⭕助系统(ADAS🔘) 电动🌯📩汽车(⭐🧷EV)动力系统 🇹🇲信息娱乐和互联 💨他们大幅提高了🐀🧭每辆车的芯😆片数量📰。在计划模🥙式下，它会⚡分析现有代码和项🤴🧴目进度，给出⚽建议，我也可🌽以加入自己的想❓法，引🚟👨🔬导模型🔉做出合🌯🐦适的规划👩💻。
