（来源：上观新闻）
Onli🚺ne RL的工🥈🇪🇹程挑战远👰未被解决🚋🐶。然后，🐜🌿给每个👨🔬函数写一份精确🇫🇷的形式化规约🇬🇭（For🇦🇬mal🏑 Sp🥧eci😟🇧🇲ficatio🧐🇸🇧n），即一份用数🕝⏹学语言😜写成的🇳🇮💁“说明书”🙌🏈，说明执🇨🇭行函数🇨🇿💦前程序状🥉🇨🇺态需要👨👧👦满足什么🚟条件（🕊🐸前置条件），执🚍🍥行后函数♻保证输出什么样的🔤💪结果（后置条件🕛）🇧🇬🧕。
还有人用🌪🥝真实机器🚓人遥操作数据🚙，保真度最高，🐣但采集一小🐿时数据可能要🇬🇼花费数万🇪🇬美元，根🧻本跑不起♥来规模🔨。播客伊始，Rom👥💧ain🍋 Huet⚱🇾🇪就用Code💕x直接进行开发，🆑⏳重点展示了C🗼odex强🚱大的编程能力🆎☪，在顶尖模型G🎪PT-5.🇱🇰4和编程模型C👪odex🐺🕑 Spark的加💦🍊持下，Codex🍑不仅可🐃🐊以实现对🤗🗓数百万行代码的🖖☔重型任务处🇨🇼🦖理，还能🕋🚛进入“思考即实🍋🦍现”的快速🇵🇪编程模式🎪。
在 Anthro👨🔧pic、NVID🇳🇱IA 等用顶🇮🇱🔍尖编程🚭智能体🐵😫生成的多个大🥙🇷🇺规模系统（单个😒🐛系统规模高🌭达 1📲🍭4.3 万行）中🛎，FM-Ag🧜♀️ent 成功找👨👧到了 5🏬🇦🇺22 个隐藏🏟👖 bug🇦🇨。“仅仅一个纳米⛏级的颗粒就足👩🚀以将玻🚑璃层剥离，并污🇵🇷染 晶🦟圆上的许多芯🇦🇫🔂片🇬🇷🏮。
