（来源：上观新闻）
尽管组📒合式推理的🍌愿景很美好，🌧但一个🧤😚关键的现实问⚠题是，形式化🥭🏗规约需要靠人🔦成女人图区一区二区类专家用⛄极其严☸😓谨的数👶🥮学公式手写®，人力成本⚽🇬🇺高昂🧲。而他们🎨真的加倍投入了，🧝♂️🌪与我们在🦢🍓LPDDR和H🧞♂️BM内存😅💺领域建🤬🗜立了合作🛠📟。
但现在，客户越来🔧🕹越多样化，他们需🤩🐪要不同👩👩👧👦的性能📅表现🌳🚾。而20🇦🇪🛄22年C😎⬅hatGPT-◽3.5😳的发布🇰🇳☑，更是让黄晓煌🌤下定决心，全🇳🇦面向空🤖间智能升级👽👯♂️，开辟🥖第二增🥐🥳长曲线🌜🧰，这也与公司🇰🇷“基于GP🌱🇻🇳U实现对物理世界🛏🇳🇷计算和模🏫🇨🇭拟”核🇳🇱⚓心能力一脉相🇸🇿承🧁。
当时我其实没👩🦲🏋️♀️明说我们正琢磨⬅😖着开发一款应🏓用，但心里多🥓🛎少有点儿在🔝试探这个想法，我🔯说，就是那种🌙能让人轻松☹搞定任务✊分配的新💦界面🐪👩🎤。其次，🛹英伟达刚🔰刚创立时🇱🇦，有6❗0家从🏥事3D图形🦢❎业务的公司🇴🇲。
