（来源：上观新闻）
“一家📻科创企业从创立到😜盈亏平衡，中✉🇵🇫间要跨过太🌘😋多的关卡，只🍒🛅有亲历者⏳🇨🇱才深知每一步都如🇨🇨🏕履薄冰，更明😶白里边九👩👦👦🍚死一生的㊗残酷现实🥀🔲。G42 既是投🇨🇫资者也是 Ce🔔reb🗡ras 最大的客📜户之一🔅Ⓜ。去年，🎚长距离续航🤪👙、高负👨👩👦👦荷散热、关节稳定🔄🍋性是困扰很😦多队伍的三🏬大技术难🌎题，也🔈是观众⬜看到很多机器人在🚎🇵🇪赛道上跌倒、⏏停工的重要原💶🚨因🐂👩👧👧。
”李琨表示♉🇾🇪。图丨自上而下的规🎂约生成新范式（来🇸🇾源：ar🇿🇦👶Xiv） 在推理🆘😜过程的可👨🚒🔪靠性方面🇲🇲，研究团队🇸🇨🧖♀️并不是🥇直接让 L➡LM 判断代👩👩👧👦📥码是否正👩👦确，而😢📴是将思维链（🇲🇦Chain of🇲🇺🤼♀️ Thou🎥ght）与🍩霍尔逻辑的推🇲🇻🧞♂️理规则相结🔢😐合，引导‼😖 LLM 逐步🕞👩🦰推导每个🏁代码块🚩执行后程序状态所🥵满足的性🐎🦹♀️质，最终检查程序😒状态是否🏎🚫符合“说明🌎书”的🦊🇵🇰要求🏩。
