国产AI大模型DeepSeek Prover-V2，参数规模6710亿，上线！HuggingFace下载量48小时破10万。美国“算力卡脖子”战略，真要失效了？
Prover-V2不只是个大模型，它能力很强。6710亿参数，远超其他大模型，学习和推理能力更强。MiniF2F测试通过率88.9%，接近人类顶尖数学家水平。它还能自动生成代码并验证，这在AI领域是突破。以后复杂数学题，或许它就能解决。
Prover-V2已投入实际应用。猿辅导用它提高题库解题效率3倍。中科院用它验证Putnam竞赛题，成功验证了49道难题。这些案例证明了Prover-V2的价值和应用前景。未来，AI能真正辅助学习和科研。
Prover-V2的成功，是中国AI算力突破的成果。面对美国的“卡脖子”，我们主动出击，在硬件、软件和系统层面都取得了突破。
华为昇腾920和沐曦MTP芯片崛起，构建了国产算力链，大模型训练成本降低了70%。我们掌握了AI核心技术，不再受制于人。国产芯片是中国AI发展的引擎。
DeepSeek团队在算法和系统层面也创新了。FlashMLA内存优化技术降低了内存占用93.3%；DeepEP通信协议延迟低于0.000186秒。这使得在消费级显卡上部署千亿模型成为可能，降低了AI研发门槛。
3FS数据高速公路技术实现了180节点6.6TB/秒的吞吐量，打破了GraySort世界纪录，为万亿参数模型迭代铺平了道路。未来更大的AI模型不再是梦想。
美国的芯片禁令想阻碍中国AI发展，但我们用创新应对挑战。DeepSeek-V2的架构创新，使同等算力下模型规模扩大5倍，绕过了制程限制。
Prover-V2的发布，是中国AI的突破性进展，也是中国科技自立自强的象征。它的开源，为全球开发者提供了强大的工具，将重塑AI研发路径和人机协作模式。未来AI会如何改变我们的生活？让我们拭目以待！
大象新闻记者 申子仲 崔瑞渊曾捧红过刘文正、费玉清等歌手的著名华语音乐人陈彼得先生，于6月14 日上午9时46分在成都辞世，享年82岁。这一消息在6月17日上午传出，立时引来无数网友自发悼念。据了解，今年4月13日，陈彼得的新专辑《8零后》上线，他还在其微博分享新歌《客至》视频。
据塔斯社当地时间6月22日报道，俄罗斯总统助理尤里·乌沙科夫在接受采访时表示:俄罗斯总统普京将会在8月31日至9月3日对中国进行为期4天的访问。
#辽宁舰亮剑西太平洋 4架外方战斗机逼近 #歼15大雨中挂实弹驱离外机
广东清远市清城区发生4.3级地震，广州、深圳、中山、佛山、东莞、珠海等多地均有明显震感。
据国新网消息，国务院新闻办公室将于2025年6月24日（星期二）上午10时举行新闻发布会，请中央宣传部分管日常工作的副部长胡和平等介绍中国人民抗日战争暨世界反法西斯战争胜利80周年纪念活动总体安排，并答记者问。
卡塔尔宣布暂停境内所有空中交通！伊朗：将根据美方行动作出对等回应！美国发布全球安全警报
声明表示，卡塔尔致力于保护所有卡塔尔公民以及在卡居民和游客的安全，暂停所有空中交通的决定是基于当前地区局势所采取的一系列预防措施的一部分。
救护车800公里收2.8万元被停运后，有网友给涉事医院送锦旗，已有多家转运公司暂不接单携带ECMO
据媒体报道，江西新余的唐先生的孩子在江西省儿童医院接受治疗，孩子病情严重，医生建议转院治疗，唐先生提出去上海并让主治医生叫救护车，后来救护车开了800公里将孩子送到上海，司机收费2.8万元。