「DeepSeek-V3.2-Exp」共找到 3880 篇相关文章
全网惊了！陶哲轩带AI下场，33分钟「盲证」数学
菲尔兹奖得主陶哲轩携手ChatGPT打造开源数学概念验证工具，数天迭代至2.0版，可全自动或半自动证明。还支持渐近估计，上手简单、可扩展性强。此外，他用AI 33分钟“盲做”一页数学证明，重塑研究范式。
开启Benchmark的Harness时代：15家学术机构联合发布HarnessEval
8月13日，DeepSeek开源Agent Harness dsh引发行业对“Harness”的关注。近日，MirroS联合多机构发布HarnessEval，将其概念引入评测系统。它使评测从Metric到Harness，形成可执行评测系统，已落地于交互式世界模型。
硅谷豪赌算力烧到停电，中国团队反向出击！这一刀，直接砍碎Scaling Law
硅谷陷入算力战争，OpenAI、马斯克等豪赌Scaling。但Anthropic指出模型大、算力多不一定聪明。Yuan 3.0 Flash登场，用RAPO+RIRM解决过度思考，降低推理token，在多模态任务表现出色，引发开发者关注。
完美解决Clawdbot巨额消耗，教你用国产模型实现7*24不停机使用，成本降低10倍。
文章介绍Clawdbot玩法爆火，因名称被指控侵权改名moltbot。重点给出实操干货，解决连接和成本问题，推荐用MiniMax M2.1模型搭配，还介绍接入飞书方法及该模型5大优势。
DeepMind科学家惊人预测：AGI在2028年实现，大规模失业要来了
Google DeepMind首席AGI科学家Shane Legg预测，最小AGI有50%概率在2028年实现，完全AGI将在其后3 - 6年出现，最终会诞生超越人类的ASI。这将带来变革，也引发失业担忧，需提前准备。
老牌Transformer杀手在ICLR悄然更新：Mamba-3三大改进趋近设计完全体
Transformer架构仍是AI主流，Mamba作为挑战者影响力大。Mamba-3在ICLR 2026盲审，有梯形离散化、复数化状态空间模型、多输入多输出状态空间模型三大改进，实证表现佳，适合多场景。
阿里Qwen悄悄放出6个开源权重，国庆卷疯了~
国庆期间，阿里通义千问悄悄放出6个开源模型权重，Qwen3-VL是通义千问系列最强大的视觉 - 语言模型。其30B版本多模态表现媲美GPT - 5 - Mini等，功能与架构均有升级。
奥特曼反击挖走4人！Meta华人科学家在列，马斯克也躺枪
被挖走8人后，OpenAI反击。总裁称4人将加入，有Meta华裔科学家Angela Fan，还有3人来自马斯克旗下公司。此次有两名华人加入Scaling团队，OpenAI将加速使命惠及大众。
宇树机器人上市前再破纪录
IPO前夕，宇树科技放出新一代人形机器人「超人」预告视频，其打破两项世界纪录：0.85米短腿原地起跳2米高，冲刺跑峰值速度超博尔特。该机器人仅研发三月多，后续提升空间大。8月19日宇树将上市。
如何为 GPU 提供充足存储：AI 训练中的存储性能与扩展性
文章分析 MLPerf Storage v2.0 测试结果，探讨不同存储系统在 AI 训练中表现。在满足 GPU 利用率阈值下，能支撑更多 GPU 的存储系统扩展性与稳定性更强，还需关注资源利用率。以太网存储方案灵活且成本效益高。