（来源：上观新闻）
据路透社报道🇨🇷，据三位知🇭🇺🦉情人士透露📴🐃，美国科👩❤️👩技大厂Me🇨🇲🕘ta计划在🏜今年5月20日正🚍式开启今年第一轮🇧🇾采裁员，🕜裁员规模约800☎0人，在总员🐱工中的占📯🐆比约10%🛌➖。” 4个🏙🇺🇳人变成了5个人🇬🇮。另外，若将其放🇭🇺🍳在公司整体业🌕务框架💇中来看，其AIo🚖🧝♀️T业务🐺🇨🇷的体量仍然较小，🚉⛹2025年💈AIo🎧T收入占比仅为🚃🚁公司营收🚏😼入的5😨🔛.6%💳👫。后来以国产民用大🌁😘飞机而闻名的程老🏚✊，最早承担的却🇹🇷并不是民🔪🇸🇳机设计🇮🇶工作，而是🥨⏰军机设计工作🗺。
他们最初囤芯片是👰🇴🇲为了做量化交易降🇲🇸延迟，后来这批家🐎🎃当转给🚕🍄了Dee↕🥺pSe🍬ek搞模型研🆎⚜发🇭🇳。研究团📩队认为，随📧👩💻着形式化⏯方法的Ⓜ↩不断进步，形式🇨🇴🚕化验证的下一个“👧圣杯”是🐬贯穿软硬🈳件全栈的端到✖🍿端保证🖖🤙。仿真库中的标称🇬🇹💀材料属🧥性只是一个起点🉑，但特定🚀📖玻璃配方在🍠特定固化和热处理🧔流程下的实际性🐆🇲🇹能可能与这🥪🍫些属性存🐷在差异🇲🇩，而这些🇬🇸🧒差异只有🚖生产经验才能揭🐩📴示🌮。与客户依赖相伴而🇷🇪生的，是易🇷🇺👨✈️景科技的回👩👧🧛♂️款效率日益下🏃♀️滑😼。
