（来源：上观新闻）
"他用飞行员😠训练做⛹️♀️🎤类比：飞行员🚑大部分时间是在🤧直飞，但训🇰🇬🏍练价值最高的是👽极端场景，🇹🇩发动机爆了，暴🏫风雪中的紧急降落🏈⚖。此次升级首🐈先在MacO🇶🇦S上推出，Wi🧬ndows🍞版本即将推🇦🇸🏧出💟🇱🇺。Syno🔅🛠psys、Ca🛳💧dence⚙☕这类工具软🐈🍳件，需求🆘反而会因为AI⚪⚱ Agen🛴📳t的普及而大幅💋上升：“现在的🚾↪瓶颈不🇿🇦🐋是工具，而是工☺🥛程师数量不够用”☠🤤。
他认为👦，对于拥有自营大🤨👐规模产能的平🌬台型公司而言🐧🏓，数据的商业🔶模式是可持🍳🚨续的🇧🇼‼。研究团队认为，🧘♂️📈随着形🇬🇭🇬🇷式化方法的不断🥉进步，形式化验🔍👚证的下一个🧐“圣杯”是贯🇭🇷穿软硬件🐏全栈的端到端保证🧡。不是说看🇴🇲🇹🇨见新格伦成了🐒🚾，就觉得“慢慢来🚍”一定🔠♑对🇲🇩🥙。人工智能以📩🤢及你身边的🔃⏩团队会🇿🇼帮你填补那些🏢你不太想花精力去😽做的事🎺。现阶段👚，我们必🍛须屏蔽喧嚣，把👨👩👧绝大部分精力聚焦🔍🖍在底层4️⃣架构攻🍿✌坚与产品细节🤸♂️💖打磨上🇦🇨🇦🇮。而且现🇦🇨📮在一个人能搞定🦒🇵🇪的事情🧣多太多🚑了，因为大部分编🕒🌛码工作都可以😨👩🦲交给模型🇨🇭。
