（来源：上观新闻）
他举例🇩🇯说，英伟达🦹♂️🇦🇩多年前就开始投资🍔🍛硅光子生态（Lu🈳mentum、🎤Cohere🏬nt等公司👩🎤），如🇸🇻今这一布局🌆🇲🇻已经重塑了👩⚕️整个供🚻⚔一本一道久久99久久精品应链结构🇯🇲。”而当采💗访结束、程老从🇳🇺镜头前转过头去🐽🆙的时候，我☎👩🦲看见了他眼角那🧀一抹泪光🍳👨🔧。虽说评价依🧕🔵然很两🐙📛极分化，但销量🇧🇩🐭实打实上去🚖了，上众🏬💼筹平台➖没过多👨🏭🔒久，就🕧🛁筹到了 150 ➿多万美元🎋🇬🇳。对中国大🧻🇵🇰飞机事业而🇦🇨↔言，程不时早已🌗👞不只是一个退休多😫年的设计师、一💗位老专家，他更像🚖⛩是一种象征，🛂象征着🌴😜那一代中🕑国航空人对大飞🧗♂️机近乎执⚙👨👨👧👦拗的信念与守望🦈。然而，他现在⛔似乎改🚵♀️了主意🤸♂️。
尽管组合式推理的🕔愿景很美好，但一🔖⏭个关键的👨👦👦现实问题是，形式🈳化规约需要🧽🤪靠人类专家用极⏸其严谨的数学公🥨📝式手写，🕷🔒人力成🚒🗻本高昂🇬🇺🎙。同时我✂们也发现，直接从🇶🇦🧷云端起步对👫开发者不太友好，🚌工具不🚧🦟全、环境🇩🇿🤑要配置，任务做🇦🇲到一半想介入调整🚵🚯也不方便🦘🔯。Romain♎📩：你知道吗🎑🇸🇿？Codex🌤🇩🇰团队就是这样工作🚩👇的🛣。斯坦福大🈚学今年🐔📜发布的AI指数🇻🇪👓报告给✡了一个数🛅据：自2025年✳初以来，美💕👩🦰国和中🇸🇸国模型多↖次交替领先💇。它是以程❓🚲老为代🚦🌳表的老一代航空人🏡在民用飞机领域进✈行的一次勇敢尝试🎰🗳，也是中🇮🇨国航空工业向大型🦚🇦🇮民用飞机发起🤱🛃的一次🕰🦙意义深远的攀登😮🌾。"第一件事是承🛤⏸认这是🛀👩👩👦👦一个高能耗👩🎨产业🚚。
