（来源：上观新闻）
成都瓦博🇸🇧科技有限公司创始🇸🇿🎦人兼董👱🚻事长张星智做完分😄享，从🚊台上走下来🇳🇴。近日，上海交通大🕶🌯学 IPADS 🔁🚇研究团队打造🍕了形式化📜方法智💜能体 FM👨🔬🌎-Agent，首🚵♀️🛅次实现了🇹🇷面向大规模🌔🦒系统的全自动正➕🎿确性推理👱♀️🇨🇮。
两刀下去，吴泳🇭🇲铭完成了🐷👩✈️对阿里AI的🇰🇮🦠全面集权🛍。3月底，Curs🇧🇳or发了新一代编🧻程模型C🏉🇨🇲ompose🈵♠r 2，宣传语Ⓜ🏹吹得挺唬人，叫⚪🧮「前沿级编🖍👨👦👦程智能」；博客🈵🇸🇬里压根♿没提它的底座是谁😸♉。在AI需求带🍔动下，各家公司正🍺🛵积极确🙇保更多先进📘🇨🇴芯片产🔒能，而台积电的🏃♀️产能受限，也成为⏲此波招募潮的🇧🇷背景因素🍀。
英伟达G💸PU让新算法的🇬🇮发明变得🌵4️⃣容易📥🛩。此时模型成本仍🔮与工具调用处于同🌇一数量级🇫🇯，在许多推☺理密集任务中甚至🛤占大头🇨🇫。而当时我🇩🇲🥟们没法做到📙。4月19日，社交👩👩👧👧🔞媒体上又开💈🎥始流传另一📬🔃种说法：过去一🇸🇧📎年里，梁文🇲🇶🕚锋曾先后见过🇬🇦🧞♂️马化腾与雷军，👲👨🎤讨论融🧁🤝资的可🌍🕶能性👤。
