（来源：上观新闻）
很多差友看到🏃这个消息，🧝♂️✉可能要在被窝里笑🧯🇧🇶出声了：干的®漂亮！接下🏵来的内存🍕👨👩👦👦、固态🇸🇧🦓硬盘，🥼🤕是不是也得跟着🔓跌了？咱们攒📸👙机党是不是终于🇬🇫🤘熬出头了？ 🚎🌍我当然也希望事情👱往这个方🇸🇱面发展⌨。
他们收集了9🇪🇦8000个数学🇨🇫证明问题，涵盖🇧🇦🚡了证明生✳♎成和证明验证🍈🙏两种能力，总共❄🕯生成了🥰🇸🇾81.🥴6万个训练🇰🇮🏕样本🐢🇩🇰。深度技术、🇺🇲长周期研究、学术🙆♂️与产业🐵的持续互动，恰好🔤是中关村当年🎞🌋的底色，也恰🌙好是大模型时代🦁最需要的👩🦲基础条件↩。
（本文🇸🇽⬜作者为 盘古智库⛷，钛媒体🤼♂️经授权发布🌘） 文 | 盘古⚛📰智库 📛🔜当前，🐲🇦🇲市场上流行一种极🕡度简化的商🎲业叙事：🛂将中国丰富的绿电👫资源视为人工智🧫能时代🇳🇿的“新煤矿”👥。
