（来源：上观新闻）
图丨从左至右分🇫🇰🍟别是：王肇国、🦅🦌陈海波和丁🎁👩🍳浩然（来源：🛃受访者） 跳出“🍇🐉将错就错”：🏤AI 开始🥰🔨从需求验证🍁🐪代码 那么，FM🧾🇨🇿-Ag✈🥧ent👩🚀⛺ 是如何将形🍥🔓式化方法用于大🍆😎规模系统的？要🇱🇹理解这个🇨🇷🐏问题，我们得先回🍔✍溯到图灵🧝♀️奖得主托尼·霍⏳尔（Tony🛂📈 Hoare👨🦰）早在 20🖐🍮 世纪 60 年🙆♂️👨🦰代为代码验证💊🍁指明的方向——🏥组合式推理（🎨💵Compo🐗🔕siti🇨🇽onal Re国产精品综合区旗袍asoning🍴）🦁🇴🇲。
Thoug🇸🇳🤢htworks🌺 的 😡🍚Kie☑🇿🇲f Morris🎩🧂 则将人的👠位置概🌊🦔括为 On 🐮🗂the⚖ lo🧝♀️🔷op：不逐行盯👩❤️💋👩代码（i🚏n t🦡he loop）✍🐸，也不完全放任✌🔼（outside🎼🇵🇬 the 👨🍳loop），🥭🚋而是站在循环上方👃👧设计和维护🤡🌽 Ha🏐rness🛡。
更强模🐜型通常需🥴要更多➡高质量数据、🇬🇼更大规模⛩🕯算力、🏺🇹🇷更复杂的🐰⛑后训练系统、更高🐒🥘强度的评测和▪安全对齐♉⛏。刚刚，在第🧿五届中国三维🧕视觉大会（Chi📺na3DV🐐 2026◻🕟）上，李飞😑❕飞弟子、Ima👶🏬geNe🖼🚌t作者苏🎉昊正式被复旦官🍾🍇宣加盟🥗。
