（来源：上观新闻）
FM-A❗🎴gent 就🔕是那个🇻🇮拿着甲方原始合💇♂️🕋欧美+国产在线观看同，去验🇦🇬收乙方成果的质🌩检员🧨🤺。表丨智能🧰体自动生🦂成的大规模🐴系统（来🔼源：arXi☀🕰v） 为了🦵🇨🇳验证 FM🍰🚎-Ag🧯🔳ent 🇳🇵的实战能力，研😕究团队对四款由 🇨🇲Claude 🌋Opus🏳🉐、GPT 🧨🖨Codex🙄💪 等顶尖编程😷智能体生🇫🇷🔸成的大规模👩🔬系统进行了正确👺性推理🇹🇲。
他们把↔这个策略第🦉🇬🇪一次移植到了👩👦🐹处理器芯片上🙆。但现在🦁它们已经成✖🦖为主流💳计算技术🧳5️⃣。然后，给每个📻🧸函数写一份精确🏌️♀️的形式化规👚约（Form🔪🍺al 🚫Specif🔟😏ication🌦🔍），即一份用数学🌦🌚语言写成的“说✈🖐明书”，☹🇲🇿说明执行函数前程🔞序状态需要▶🇸🇳满足什么条🇧🇴🍴件（前置条件🦄7️⃣），执行🦡后函数💀💹保证输出🔴什么样的结果（🇺🇲🍎后置条件）🐪。
播客伊始，🔄🇪🇪Romain🕑🇰🇷 Huet🇳🇮🕉就用Codex🐾🇬🇶直接进行开发，📞🤪重点展示了C🤷♂️🚓odex强💄大的编程能力，在🦖顶尖模型GP⏏T-5.4🎋💁♂️和编程模🚴♀️型Co⏮dex Spa⏮rk的加持下，🚡🚲Codex不🔧仅可以实现对数🚂😺百万行代码的重👩👧👧👨👨👧型任务处理，还9️⃣⛲能进入“思考即实💺现”的快🧚♀️🇭🇲速编程模式👩👩👦🍌。
