（来源：上观新闻）
对中国大飞👶🇲🇹机事业而🇹🇰◻言，程不时早已♈不只是一个🍴⏪退休多年的设计⏺🌑师、一🦹♂️位老专家，他更😥🏺像是一种象征🕵️♀️，象征着🇨🇳🇵🇫那一代中👩🎤国航空人对大飞🇱🇹机近乎执拗的信念🧿🇨🇳与守望↔🇱🇦。
过去两年里，AI🦎编程工具🤧🇸🇷迅速席卷行🧙♂️业🎼👸。最后，只要分🤶📨别证明每✅😠个函数的实现🚃（Implem🔻🇹🇰entation🔃🏛）和规约一致，📪🥋就能直🎆接推理出🗻➿整个系统满足正🥽🕗确性👣✂。这里面，“也有一📟🇨🇳些投资机构明确说🦋🎫‘必须要投’🏄🔳日韩鲁丝”🔴。
2015🐒年中 Fel🏴dman与四位联🐊🇫🇴合创始人重新聚首🧯，决定创🏳立Cer🙄🇹🇿ebr🈷as🇸🇽。整体来看，周👢明认为，从Ope👿nCla⬆w到Hermes🤨🚂的迭代，本质是😴🇮🇩一条大模🇸🇸🇬🇸型、智能、💧自主、可信的完整👳♀️⚠AGI发展🎬🔝路径💙。我们的☦市场覆盖范围远🥰👂远大于任何TPU🎷或ASIC（应用⏰专用集成电路）能🇦🇷🗻够达到☹🇩🇴的水平🌟👨🚀。
