（来源：上观新闻）
截至目前🦂，其谷歌学术被引💓次数超过14.🤐🕑5万次，在具🏳️🌈身AI领域🎲🥤的华人学者中排🇳🇷名第一🌱。图丨基于自然语📮言的代码正确🇱🇨👩👩👧👦性推理示🈷例（来源：arX🚤🧩iv） 如📅上图所🚐🛶示，F🔈M-Agen🤒t 逐段推理代🔃🔹码执行后的程序🍑状态描🔌述（注释部🇸🇽分），即后置条件🧑，一直🕍👨❤️👨推理到函数返回，🛀🈶检查最终✅的程序状态描🇲🇲😻述是否违背🇦🇮🇴🇲了规约里对最终程🔀序状态的要求🚱。
AI 行业的持👨🎨🌘续迭代， 需🦗🆗求与解决🛰◀方案逐渐复杂🚖， 必然也会产🥏🥼生横跨技🚥术、模型和产品的⛱🙁 TPM🐎🤹♂️。比如，去年👨👨👧👦人形机器🍾🗼人普遍搭载🧮🕟的是锂电池，🌪而今年能量💐密度更高的半固态🇿🇼电池开始🦋🇧🇸被使用🧠🍖。Happ😸🔳yHorse隶属🥗🧑AI创🇩🇪新事业部，由原快💦天天宗合手副总裁🕘🦆、可灵AI👨👨👦👦技术负责🇭🇳人张迪主导—🕠—张迪于20⭐25年1🤣1月回归阿📃里操盘A🇲🇦I视频🕜业务🔅🥥。
以往那种需拼👔🇬🇷命汇报🤹♀️与讨论的情形已🔬不复存在，🥕💕信息传导几乎不⛴🇬🇶存在延迟⚾⛲。一个是“情况复🇸🇾8️⃣天天宗合杂、结果未知🆔”，一个是🍃🌀“灾难已🎣经定好时间🔎👧表了”🔚🧡。陈海波对🚪 Deep💩🙄Tec♑💗h 表示：“当📲编程智能体可以生🤜成 10 万🥓🚜行以上🇰🇮代码时，开发者对🇸🇰🥙内部的函数行为本🐫就一知📝半解，为成百上🇻🇳千个函数编写形🌼式化规约更不可📍👈行😲🇳🇴。
