（来源：上观新闻）
换句话说，在◻🧓设计飞机之前🎎，首先要完成飞🙆♂️机制造厂的🌏建设🧠💙。15年后，🏜这家公司正在从👻🇸🇭3D软件提供商🇨🇩🌺迈向空间💒🕸智能服务商，🇳🇺🍑并在4月17日登🛵陆港交所，成🍏为“全球空间🍡智能第一股”🗃。尽管组合式推理🥍的愿景很美好🇩🇴🔵，但一🚣♀️🏂个关键的现⌨实问题是，🎚形式化规约需🧑要靠人类专家用极🎳其严谨🍮🇵🇸的数学公式手写🔙🍂，人力成本高📻👨👧👦昂🚁。
但黄晓煌有👨👨👦着自己📖的坚持◻，那就是👉🐶追求社会价值1️⃣、且自身高度认🏴☠️可的社会价值🥚🇧🇾。你希望自己开☹发的软🤐件能运行在🚯很多其🔰🏕他计算🇦🇩机上🐵。玻璃面板上🦈所需的重🇫🇯分布层 🙈🥡(RDL) 工〽艺对材料提出🇬🇧🙂了更高的🌦要求，几乎达🇧🇴到了当🇸🇳🧚♀️前基板级光刻😡📢技术可靠交付的极🏇限💪。" 和Deep🥊☮Seek的讨论自🦐然引出🔆了一个📦更底层的问❎💒题：当前的A🤰👤I算法到底有🤳多高效⌚？Feldm👩⚕️🌷an说，GPU🈲做推理时，利用🍁👗率很低，多❔👢数算力在🇧🇱📐浪费🔲。
