（来源：上观新闻）
但对我们而🈲言，另🚮👨🌾一个非常有趣的视🇦🇫👨👨👧👧角是：当🇮🇲🅿你放眼更☕广阔的Ope🤩nAI平🇨🇷😠台时，如今已有🔦数百万开发者基🦏于其A🦗PI进行开🤸♂️🎿发，他们所🐒使用的模😘型涵盖😒🈷多种模态，从🇫🇴Ima🇵🇦📟gen到Sora💬，再到📮语音转语音🏑🦷。
图丨从左至右分🎮别是：王肇国♓、陈海波🎸和丁浩🔐然（来源：受访🧬🐼者） 跳出“将🇽🇰🦅错就错”：AI🕶🤺 开始从需🎪求验证代码 那5️⃣🍵么，FM-A🎩⏩gent 是🌳如何将形式化方法🇳🇨🤺用于大规✋模系统的？要理📮🕗解这个问题，我👩⚕️👹们得先回👨🇸🇧溯到图灵奖↖🔋得主托◼🏜尼·霍尔🐫🇯🇴（Ton🕎y Hoare）🛢🚭早在 20📚🖱 世纪🃏🇧🇧 60🎭 年代为代码验证🧞♂️指明的方✅🤮向——组✨合式推理🙂（Composi🧶👄tional🐕 Reason🇧🇸ing）⛔。
他认为高级🏁☕机器学习研究者之🍑间对此🇪🇺并没有太多分☁🐡歧，算法📝改进的🔃🕢空间依然🚕巨大🏫🆘。而这一切背🥯☦后蕴藏👎着巨大的☺💆♂️潜力，足🐚以向全世界🐵✉展示：任何人🐅都能轻🌥🇸🇱松打造出各种♠🚋各样的东西，同🇭🇳😔时还能在🥂👨👧👧过程中毫无保留地🐽🌜传授经验🥧。
