DeepSeek V4在Putnam-2025获120满分,形式化数学推理比肩Axiom
据动察 Beating 监测,DeepSeek V4 公布了两组形式化数学推理评测。Putnam(普特南竞赛)是北美最高水平本科数学竞赛。 在实用场景(Practical Regime)下,V4-Flash-Max 在 Putnam-200...
据动察 Beating 监测,DeepSeek V4 公布了两组形式化数学推理评测。Putnam(普特南竞赛)是北美最高水平本科数学竞赛。 在实用场景(Practical Regime)下,V4-Flash-Max 在 Putnam-200...
4 月 24 日,据福克斯新闻报道,耐克周四宣布,其全球运营团队中约有 1400 人将被裁员。 在一份致员工的备忘录中,首席运营官 Venkatesh Alagirisamy 表示,此次裁员将主要影响耐克的技术部门,范围涵盖北美、亚洲和欧洲...
据动察 Beating 监测,DeepSeek V4 技术报告首次公开了支撑 Agent 后训练与海量评测的核心基础设施,生产级弹性计算沙盒 DSec(DeepSeek Elastic Compute)。 当前大模型强化学习需要极其庞大的代...
4 月 24 日,据 Hyperinsight 监测显示,Hyperliquid 交易员「neoyokio.eth」于今日凌晨再度增持 3 倍杠杆 CHIP 多仓,持仓规模从 220 万美元增至 340 万美元,成本均价下调至 0.098 ...
据动察 Beating 监测,V4 罕见公开了内部 dogfooding 数据。团队从 50 余名工程师收集约 200 个真实研发任务,覆盖功能开发、bug 修复、重构和诊断,技术栈包括 PyTorch、CUDA、Rust、C++,经严格筛...
4 月 24 日,据 GMGN 监测显示,昨夜今晨,受 Reppo Foundation 获 Bolts Capital 2000 万美元战略资金承诺,叠加在某交易平台上线影响。其原生代币 REPPO 市值短时突破 2000 万美元后回落。...
据动察 Beating 监测,DeepSeek V4 后训练方法论发生重大变化:V3.2 的 mixed RL 阶段被 On-Policy Distillation(OPD,在线策略蒸馏)完全替代。 新流程分两步。第一步,针对数学、代码、A...
据动察 Beating 监测,DeepSeek V4 API 已同步上线 V4-Pro 和 V4-Flash,官方公众号公布了定价和算力规划。 V4-Flash 直接替代 V3.2(deepseek-chat),不仅没涨价还降了:缓存命中输...
据动察 Beating 监测,V4 技术报告公布 DeepSeek-V4-Pro-Max(最高推理力度模式)与闭源旗舰的对比。对比组为 Opus 4.6 Max、GPT-5.4 xHigh、Gemini 3.1 Pro High,以及开源的...
据动察 Beating 监测,昨天 DeepSeek 开源 TileKernels 内核库后,我们通过库中包含的生产级内核推测 V4 的核心架构组件。今天 V4 模型卡发布,逐项验证如下: mHC(流形约束超连接):昨天推测 V4 用的不是...