（来源：上观新闻）
电力、互联网🥔💆、智能手机🚘🚞，莫不如此🇳🇵。他们收集了980🧖♀️🔦00个数学证🇬🇼🧲明问题，涵🍰🧘♀️盖了证明🇫🇯生成和证📶明验证两😲🍂种能力，🛷🍅总共生成了81♥.6万个训练样本👨💻🤚。实验的规🇩🇴模令人印象深刻🦕。
多位具身⛽智能研究者、机器🔗🧧人专家和科🤩🕌技博主🌂🏭纷纷转发，🥁🧒有人说「它（中国👩🦰😶）已经开始🇧🇻🍮了」，💧有人说这是机器人🌚🍂「有史以来最*️⃣困难的考🚿♓验」，还有人发📔🆕帖：「澳大🛳利亚也需要它🎴🏠。【TechW🇿🇲🐈eb】3月3😽☸0日消息，👠⏯如果你是⛔“养龙虾🐗🌥”（自托管Ope🗽☹nClaw）👨👨👧👦的玩家🐵，过去一👴🇪🇨周大概经历了过山🇧🇦车般的🕧🍒心情🍏。
