（来源：上观新闻）
资本、巨📻头、创业者蜂😢⁉拥而入，一个响亮🕡的口号迅速传遍🇫🇰🥗行业：🔇世界模型是大语🇲🇶言模型💖🧴之后最重要的🇦🇩赛道👩🦰😰。一个2B小模🖋🚊型，达📼到了接近8🚿🇧🇱B模型的水平💑🇰🇷。图丨从左至🏞右分别是：王肇💢🦅国、陈海波🛃和丁浩然（来🇱🇺源：受访者） 跳😇🇹🇲出“将错就错👨🚒”：A🈂I 开始🛤从需求🏃🕖验证代码 那🕔么，FM-Ag👩👩👦ent 是🕞如何将形🔌式化方法用🐣💮于大规模系统🤽♀️的？要🐆理解这个问题📶🧢，我们得先回溯到💁♂️🏜图灵奖🔆🈯得主托尼·霍尔（👀Tony Hoa🔗re）早在 20🕥 世纪🆕 60 年代为代🤐🇨🇽码验证🇲🇴指明的方向——组🇹🇴🇦🇫合式推理（Co🇳🇵mposit🇰🇵ional🇨🇷🧘♂️ Re🇵🇸asoning）🇶🇦👩💼。
表丨智能体自动生🕓成的大规🤫模系统（来源：🕓arXiv） 🇯🇲为了验证 💊🔦FM-Agent🐀 的实战能👨👦☪力，研究团队对四⚜🚘款由 Cla🥣⏩ude 🧶🐉Opus、GP🎌⏬T Cod🖲ex 等顶🐫♟️尖编程智能体生🇦🇬🧢成的大规💜💦模系统进🇿🇦🤡行了正确🔺性推理🆚🖤。4. Promp⛱🦕t格式必🦗须逐字⚽✅对齐😯。他坦言，他真🍧正担心🧛♀️的瓶颈不是🇳🇨芯片或封装，而是📳能源政策🚎。今天绝大多数AI🙍♂️😧代码用PyTo🇻🇦🇵🇬rch写，理⁉论上可以📴💐编译后跑在任何😒硬件上⚰🙌。多年来，英📔😴伟达一直是A👢🙁I领域赚钱✌🚂最多的公🦞🥍司✋🍝。而且，真的，这让🌘👋我完全不想再打🔖⏲开别的应用了🚵。
