（来源：上观新闻）
在首飞🤷♂️现场，87🕜岁高龄的程老依然🚂神采奕奕，精🎠神矍铄，📩面对提问时思路清🛷🌨晰、应答敏捷🚓。近日，🍋🎋上海交通大学 ⛩🇳🇦IPADS ▶研究团队打造👨🏭🇨🇬了形式化方法📎智能体 FM🦀-Agent，首🛥🇲🇸次实现了面向🍍大规模💃系统的🍌🐳全自动正确性推💣理🕷🎈。毕竟，作为🔕🗣OpenAI，拥✔有Chat0️⃣GPT，一款📻🇦🇲被无数🦎🌛人广泛使用的工👨👧👧🌯具♉🗨。他们对DeepS🐵👨👩👦👦eek的态度一😖直自相矛盾，好像🇳🇱同时相🤣😇信两个完全🌬☝不同的版本🚧🤺。
研究团队认为，随🚊🛬着形式化方法✨的不断🚵进步，形式🍎⚱化验证的下👳♀️一个“✝圣杯”是贯穿软硬🦇🛒件全栈的🥖🇲🇺端到端💓🍵保证🥡。作为长📿✏期研究国产大飞🇧🇩机发展历程👻⏸与运十飞机史料✊🤤的人，🇩🇯🕹我一直想🇭🇲找个合适🐱的机会，⛑🦎当面采访程老🌥🕵️♀️。不提蚂蚁集团🇪🇦旗下的🌤🎉灵光、阿福📧🐭，在千问APP出🇲🇼现之前，👨🏭👲C端用户对阿里🍐AI的认知更🚦是集中🤞在夸克⛈AI上🕐🇲🇭。小红书也公告称，👭🇸🇿严禁任何利用技🇵🇸📬术手段模拟🐍🎤真人、👩🎓🇨🇳进行非真实内容创🧛♀️作或虚假互动的🧫行为，违者一律封🌒👩👩👧👦号🍆。
