（来源：上观新闻）
人类专家在🇻🇳评审模型的数🇧🇲学证明时发🇹🇯现，有些证明虽🧂然完全正确，⛽👠但比必要的步🔲🧪骤要多，🚖🇵🇾有时包含😵一些多余🍤的中间步骤或定🇲🇷义🎆🧙♀️。
多位具身⚜智能研究者🔶🛡、机器人🤯🌕专家和科技☸博主纷纷转发，🧠🐐有人说「它（🧑🇬🇷中国）已经开🕵🛢始了」，有人说这9️⃣是机器人「有史🥖✍以来最🧤困难的考验」，▪还有人发🚲帖：「澳大利🇼🇫亚也需要它⬜。
但各大品牌🐊普遍在20🚻🚣♀️0~500🏅元不等☄的涨幅，🚣♦让千元机跃上了两🇹🇰千元的🈵🔻档次，对于消❓🎶费者就属实有点多🚞🕌了🕢。
