（来源：上观新闻）
当美国AI巨头们🇷🇼开始竖起高墙、🐳📑收取高昂的"护照💂🕍税"、陷▶入傲慢的封闭🧱生态时，中国AI🚴正在用实🗳✋打实的性🇰🇷能和降🇳🇫维打击的🌬*️⃣性价比，🏌️♀️完成一场对全球开🇹🇩发者的"收📚割"💮🥰。过去两年算力差距🌳还可以用算法效率💊🕷和数据质量部分🍈弥补，但🆙下一代模型🎰同时要为📩多模态、长上下文⛑ RL、🍞跨应用行📐为克隆烧算力的😃时候，纯算力的😧🇦🇿绝对优😚势会压⬅过精细打磨的优势🇩🇪♉。图丨从左🇫🇴至右分别是：🚴♣王肇国、陈🖖🥓海波和丁浩🥠💃然（来源：受访🇲🇭👚者） 🔬跳出“将错⏹👨🎨就错”🈯🕗：AI 开🚪💦始从需求验证🇹🇬🇧🇼代码 那么🐉❔，FM-Agen🐠t 是如何🖲将形式化方🐽法用于大规模系👝🚉统的？要❌🕐理解这个问🧧题，我😹们得先回溯🙄到图灵奖⏲🎙得主托尼·霍尔🧮👨🦲（Ton💆👋y H7️⃣⭕夜夜躁日日躁狠狠oar*️⃣🕣e）早在 20 🌭🐧世纪 60 年代📫💎为代码验🙋⏮证指明的方向—🇿🇲—组合式☔👊推理（Compo🚺sit📺ional R🤺🇭🇺eason😗ing）🏵🥐。
说实话我一开始是🐦🇲🇱被第二个🇨🇨⛏方向吸引的🚩。全国政协委员😋、中国🦐工程院院♻🏄士王坚说得🎚👨👨👦透彻：“中小▫🔴企业规模小但不🤝👩🔧意味着👨⚖️⛽没有机会🙍🧘♀️，事实🛂上中小👿企业面对的是一个🇦🇶大机会，就像🌟⛽当年互联网一样🐣。据知情🃏人士透露，去⛎年11月推出的😪🇰🇵自主研发🇦🇲的Co⛑💏mpo👨🎓🎎ser模型🇲🇱🇶🇦，以及🎄调用成💾⤴本更低的模🦙👨👩👧👧型（例如中国Ki🚊mi模🤹♀️型）的能力，帮助🐺该公司实🤦♂️现了微盈利📧💱。在编译环节：智域🅾👯♂️基石将图像、空间🕖、动作、环境等🚦🚼信息进一步抽取、🇬🇫结构化和任务化👨🔬重构，🐢转化为机器人💯😿训练真正可🐥🕶消费的高质量输🔓🧨入，这🛥🐡也是智域🌙基石最核心的能力🤫♌之一🤾♂️。
