1.93bit量化之后的 DeepSeek-R1（0528），编程能力依然能超过Claude 4 Sonnet？
刚刚，理论计算机年度大奖——2025年哥德尔奖揭晓！康奈尔大学副教授Eshan Chattopadhyay与导师David Zuckerman荣获此奖。
虎嗅从多个独立信源获悉，半年前，某DeepSeek核心高管已悄然离职创业，并将于2025年圣诞节前后发布Agent产品。有信源告诉虎嗅，该高管系原DeepSeek CTO。
AI越来越靠谱，“张雪峰”们急了，6月9日，全国多地结束了2025年高考，焦灼地等待高考成绩出炉的同时，不少考生和家长已经开始研究如何填报志愿。
上周日，奇绩创坛在北京中关村国际创新中心举办了其 2025 年春季创业营路演日，共有 57 家公司参与了路演。
近日， Mastra AI 创始人 Sam Bhagwat 在 X 上发布了一条推文，称其中提到大约 60~70% 的 YC X25 Agent 公司正在使用 TypeScript 构建他们的 AI Agent。
你有没有想过，那些电视台、制作公司里堆积如山的视频素材，可能马上就要被彻底重新定义了？想象一下，从数千小时的视频内容中找到你需要的那一个镜头，不再需要安排一群人没日没夜地看片子、做标记，而是只需要简单描述一句"奥巴马谈论人权的片段"，系统就能立刻定位到精确的时间点，并提供详细的场景描述、人物信息和镜头分析。
有史以来最具想象力的小钢炮系列，MiniCPM 4.0 来了！
3D生成模型高光时刻来临！DreamTech联手南大、复旦、牛津发布的Direct3D-S2登顶HuggingFace热榜。仅用8块GPU训练，效果超闭源模型，直指影视级精细度。
5月份，AI应用市场格局再度出现变化，夸克登顶买量素材榜首，腾讯元宝买量、下载量双双大跌，DeepSeek下载量进一步下滑。
