（来源：上观新闻）
他们收🔺👋集了9🚬🎴8000个数学证🇷🇺🎨明问题，涵盖了证🦷🔆明生成和证明🕗验证两种能🇧🇱👁力，总共生成了8🔙🐶1.6🌧🍀万个训练样本🚞。难道说，De🍺🏂epS🇳🇵🍠eek V4模型♋🇷🇺要发布了？🧨 截至2026年👯3月，DeepS🇸🇦eek的🤚🥬移动端用🍊💲户数据呈现😮🇷🇴出明显波动👳态势，☢第三方监测🇹🇴⛑机构数据🏹显示，其全🎀球月活跃©🍢用户规模在1🇵🇼💝.25亿至🎱🔣1.56亿区间🇧🇲内，日活跃用⚗户则稳定🕎诱人的教师在线完整版在约130🚉🍢0万左右，🙎♂️☃较此前⏪峰值阶段有所回落🇻🇨💣。
Nemotr🆎🤩on-C🇻🇳♍ascade🥯 2的成🦉🏰功展示了一种🛠🇹🇷更可持续的AI发⚽⬅展路径🧺🕙。用胡柏山的说🏎法来理解💙这个差✅♻距，会更直白📿🎤一些：当今的🤨🇸🇯 AI⏹👑 是“数字世界里😜🏄的大师”⚛🇦🇱，它在那个🧖♀️世界里能创作、能🐜🤕推理、能🤳给人提建议🎟。
