（来源：上观新闻）
他没有等，走👠⛺了，创了 🏰💬AMI 🕖🇸🇹Labs，做“👨❤️👨🇲🇩世界模型📉👎”🇦🇪。研究团队认🔯🧖♂️为，随着形式化💑方法的不断👨🎨🧕进步，形❌🤲式化验📐证的下一🚼👨👧👧个“圣杯🤗”是贯穿软硬件🇲🇲全栈的端🔦🦈到端保证🎺😩。
”Joe Ver🤷♂️🍀nachio说🐆🈯。一周前，🏺🦁记者撰写的👳关于他🇬🇼📍和他的“龙虾🔡😇军团”的报⬜道引发大🤶量关注，文章讲💇⬜的是：半年🍎🇯🇴不到，他👨🏭💆带着4个真人👄🇱🇸、16只😍🕑“龙虾”（O👨👩👦👦penCla🎌w AI员👘🐔工），做脑机🔣接口产品，公🔋司估值已过亿🌎。
