3月8号（信息差）

🌍“星际之门”首个数据中心重磅启航！料部署6.4万块英伟达GB200

 🎄全球AI大混战升温！超越Sora的阿里万相大模型开源 家用显卡都能跑

✨重磅！阿里深夜推出全新推理模型，仅1/20参数媲美DeepSeek R1

1.7B级形式化推理与验证小模型，媲美满血版DeepSeek-R1，全面开源！

研究团队构成：香港科技大学、中国科学院软件研究所、西安电子科技大学和重庆大学。团队核心成员：香港科技大学的研究助理教授曹嘉伦，主要研究领域包括 AI&SE、人工智能测试、形式化验证等；中国科学院软件研究所副研究员陆垚杰，主要研究领域包括大语言模型及其应用。

随着 DeepSeek-R1 的流行与 AI4Math 研究的深入，大模型在