（来源：上观新闻）
R1证明了一🈶个小团🐗🐵队也可以🚈用更少资🇲🇫👽制服有码中文字幕源、更开放🐅路线，做出世🧼界级模型🇬🇹🇱🇺。图丨从左至右🤡分别是：王肇🇳🇵🇳🇵国、陈👩🎤海波和丁浩然🇻🇳（来源：🙄受访者）🧟♂️🎛 跳出“将错就💘错”：AI🍅 开始从需求验🐽📴证代码🎿 那么，🚅FM-🦘Agent 是🇲🇻👛如何将形式化⚗🥬方法用于大规🇧🇧模系统的？要理解😪🔈这个问题，我们🔄得先回溯到图灵奖🐱得主托尼·霍尔🤽♀️（Tony Ho💁♂️are）早🏯在 20 🧒世纪 60 年代🐼为代码验证指📙明的方向🚴♀️👀——组合式👢🧛♂️推理（🇦🇸Composi📳🤲tiona🚂👹l Reason🍐🎫ing🥙）🇭🇰🇪🇺。
要知道🐷，All📏birds🍖🎨现有团队，清一色🤘是鞋履设计师、供👨💻应链管🛸理和零售运营专家🇿🇦😛，相关AI人才📑🍨一个都没有👩👩👧👧。如果老板🇧🇦▪发现有专注🥅👚于钻研AI的年🔹🇳🇦轻人才◻，一定要让🉑他帮助公司开🥟🇭🇺展改革💯。” 方建华坦言，❕👨👨👦👦在创投🍜🕊市场上，🇨🇺光投钱给企业肯🏭🇦🇽定是不🕜够的，资🇯🇴源对接、市场👆🔹开拓、🇸🇹👩🌾管理咨询、战略⚪引导、金融支持，🇲🇨这些东西往👭往比资金🧰👩🚒本身更金贵，不🚶♀️是所有的VC机构🇸🇸☠都愿意这🐻😉样陪跑的🤴🗂。
在这一变局中🈺，算力To🇬🇲🇨🇴ken与模🐱型Token🇳🇿🇵🇬正走向薄利，而直🕣🍮接挂钩经营结果的🚫🥎“场景Token🤬🌙”成为价值🚟⛈高地🏴☠️。该公司在 🚺2025 🥀年宣布，已获得🈂🇷🇪美国外资📶🧡投资委员会（CF1️⃣✨IUS🛅🚵）的批准📎。在层层测试之后🇨🇦🐯，AI📕🙂 依然挖出最🚑隐蔽的🛃🥜 Bug 尽管已🇲🇲有规约，➕✡但新的问题接踵🛹而至💸。经历了多年越👩👩👧👦来越巧妙👈🐩的修补🍟之后，研究者才🉐😇明白：深度维度🧸的残差连接需🤭要的不是更好的系🚒🖥数，而💖🐶是被一种根本不🇬🇪👩👩👧👧同的操作所替代：📔⌚ 一种在序列🔪维度上已经成功解🔴🙅决了同样问题的操🔝🐷作🇨🇺。
