（来源：上观新闻）
图丨从左至右🐴🇲🇱分别是：👮♀️王肇国🕘、陈海波和📴🇩🇪丁浩然🌩（来源：受访💙者） 跳出“8️⃣🐏将错就错🐵”：AI 开🐻👩⚕️始从需🚘求验证代码 🐖☘那么，FM-📀Age🧓nt 🔮是如何将形式化方🔲法用于大规模系🐊😾统的？要理解这个🏢🌮问题，我们得先回👉溯到图灵奖得主🌲🐜托尼·霍尔（To🐔ny Hoare👩🔧）早在 20 世🇰🇬🍁纪 60 年™🥙91大神撸网代为代码📛❕验证指明的方向🍍——组合💎式推理（C🐟🇬🇾omposi🍟🔷tion🇲🇻🏡al 🙏Reas😻🐲onin🔌g）🇦🇲。
” 张星智也🉐坦率地讲了自己🐥♣的难处🤸♂️😔。过去两年，Ch💚atGPT🚡们展示了♨🐑惊人的语言能力🛋🥧，也暴露🇺🇦了一个致🚁📝命短板：它们不懂🎙🇭🇳物理世界🗣。总结 Cla🧜♂️👨🍳wGUI不😙🧁是要证🕛🥨明GUI比CL🐣🔙I更好，而是想探🎵🛂索一种可能性：🇰🇳🖱训练、评测、🧨🤲部署打通之后，🦑GUI智能体⚛能走多远？💄CLI和🚧GUI👨👨👧的协作又能释放出🚅怎样的潜力🇫🇷🌠？ Claw🐳GUI-RL🦠🎼让GUI🐐🔱 Age🇲🇾nt的在线训练🦚从虚拟环境🤸♀️走向真机，C📤🎫lawGUI🤑-Ev💀🔪al为社区提供了🔤🤔一套可信🕘赖的评测🤠标准，Op🤲😍enCl🍁🇩🇯aw-GUI把G😔UI智能体从🙎♂️💸研究带到了真实设🐙备➖。
2026年4月🍣✌17日，C🍒🚯erebras 🕚🇺🇿Systems💓🔮向美国证监🇻🇳会（SEC）🏮公开提☣交IP🥈O申请，拟在🎻🛢纳斯达克👌🧧以代码🐁😨CBRS上市🇹🇷。说回刚才那个⛸↖题外话，Cod🏰ex团队的设计师⤴🎑现在写👩🎨的代码⛅，开玩🇱🇻👱♀️笑地说，比半年前😤一名工🇸🇳🆒程师写的🔱🥍还要多⏭🌿。因为他的目标3️⃣🎪，是把能力天花板🐧狠狠干上去🇧🇬📶。
