（来源：上观新闻）
训练一个🔣真正的世界模型，🛳需要海量的🇲🇺🕳“观察、动作🛸🌮、结果”三元🔞🍊组，但现实中📖🇲🇲没有这样的✈👀现成数⚖据集👩👦👦💲。星海图市场总🇪🇺➕监张宇佳在接受界🐆⌛面新闻等媒🇱🇹🎟体采访时🐃表示，👨🎤🕡马拉松补😂给是一🌻💬个高变😅量户外场景，光线🍲变化、人群🗺✋遮挡以及跑者🔩伸手的随机动💊🇺🇸态，对机器人🇧🇭🎾提出了极高要求💇♂️〽。
然后，给每个函数🏛👣写一份精确🕘👩🦰的形式化🇷🇺规约（For👬🤬mal S🆑pecifi🐣cation），🙋♂️👩👧👦即一份🔶用数学语言写🇵🇹成的“🇪🇹🇹🇿说明书”，🕗🇳🇵说明执行函数⛷前程序状态👎需要满足什么条件💩🇵🇳（前置条件），执👨🦲行后函数保证🔄🍣输出什☔么样的结果（后🦆⤵置条件）💊🔩。
