（来源：上观新闻）
刚刚，在第📮五届中🎩国三维视觉大🏢会（China👏3DV 202👛🇮🇲6）上🌿，李飞飞弟子🐅🇺🇲、Image🇳🇱📏Net作者苏📩🆘昊正式被复旦官宣🇿🇲🇨🇩加盟🍽。结果听完发🌄现，Pe🗯ter 补上🦖🇶🇦了很多之前🇬🇪🏃根本没人讲过🔮的幕后细节🇷🇸。
忧虑是真实🕉🍐的🇨🇨🍨。同年ICC🇦🇽V，苏昊发起wo♟️rks👵🌁hop🔤🚠，聚焦基🚰于物理的建🥣模与仿真🇧🇧📯、基于学习🔹‼的仿真、人体👅仿真到具身视觉和🏍🚡机器人学习🧦🔻等广泛主题😼👿。
但太浅🇺🇲了🧟♀️🧂。“用户通常使用🚜自然语💑言描述🚦🇲🇦系统设计，FM-😐Agent🇬🇩 生成的规约也👙是自然语👨🦰言，而😘🦖传统形式化验证◻🍃器只支持基💡于数学🦹♀️公式的♥🇪🇹推理，二者🚄存在巨大🌬的语义📻鸿沟🕎。孙正义选择坚决📅离场，以70亿3️⃣美元的价格清仓英😞国产成人综合旡码伟达，👩🚀拿了3🇺🇿👥0亿美元🇰🇳🐌的收益，落🇨🇳袋为安🏆。
