（来源：上观新闻）
现在你们🔪👩🏭在进行投资，✏💲据报道，你们已经🏠❎向OpenA🧲📚I投资了😨📎高达3🤽♂️00亿美元❗，向A♻nthrop💾ic投资了10🗓0亿美元🦃。这事本🛋🌻身没啥瓜可吃，🇳🇱🔉开源模😭型被二次训练☘、重新包装🇳🇫，行业里🍄本来就是常👷态👳♀️。离职后，🇱🇸三人于200📋🇧🇩8年7月联◽♣手在上海成🔫🇳🇷立易景科🎚技🥢🚌。
" Fe🌓🎨ldma🧁n接话："作为🌼风险投资人⏮🗜，你十次😳📲里错九🛴次，只要对的😠🕺那一次足够好，✒所有人就🇲🇿忘了你的平🥰🙅均成绩👨🌾🇧🇪。我认为两者会结🤘合在一起💼🧥。在 20 📱世纪 60 年代🧝♀️，托尼·🐆🔍霍尔提出了🎧今天形式化验📉证的重要基石—🆓🥩—霍尔逻辑，然🇵🇳而直到🏦他今年逝世前，形🎆式化验证仍然📋囿于人力成本，🤓💁♂️难以扩展至大规🚶♀️模软件中🇦🇼👨✈️。
