
英伟达表示,DeepSeek-R1 让 Blackwell 架构的性能大升级!相比四周前的 NVIDIA H100,不仅能带来 25 倍的收益提升,每个 Token 的成本还降低了 20 倍,性价比拉满![威武]
这一切都得益于 TensorRT DeepSeek 的优化,尤其是 FP4 计算,在保持超高精度的同时,在 MMLU 通用智能测试 中达到了 FP8 版本 99.8% 的得分,可谓既快又准!

现在,FP4 优化版 DeepSeek checkpoint 已正式上线 Huggface。

英伟达表示,DeepSeek-R1 让 Blackwell 架构的性能大升级!相比四周前的 NVIDIA H100,不仅能带来 25 倍的收益提升,每个 Token 的成本还降低了 20 倍,性价比拉满![威武]
这一切都得益于 TensorRT DeepSeek 的优化,尤其是 FP4 计算,在保持超高精度的同时,在 MMLU 通用智能测试 中达到了 FP8 版本 99.8% 的得分,可谓既快又准!

现在,FP4 优化版 DeepSeek checkpoint 已正式上线 Huggface。
OpenAI 在发布 GPT-5.6 当日指出 SWE-Bench Pro 约 30% 任务存在缺陷,引发对 AI 基准测试可靠性的质疑。多项研究进一步揭示,验证器质量决定模型学习方向,基准题目高度冗余,且模型“窄能力”提升未必转化为真实经济产出的“宽能力”。当前 AI 进步尚未达到自维持加速阈值。基准测试正面临结构性危机,其公信力受利益冲突影响,亟需建立独立第三方验证机制以确保评估客观性。
OpenAI 旗下 GPT-5.6 Sol Ultra 通过 64 路并行 agent 在 1 小时内生成了图论 CDC 猜想的证明文本,成本不足 500 美元。该成果引发争议,因缺乏 Lean 机械化验证、未公开完整推理轨迹及受限于图论形式化库不成熟,数学界对其有效性存疑。此事表明 LLM 已具备启发式数学搜索能力,但验证基础设施滞后仍是瓶颈。未来“多路并行+防放弃 prompt”或成范式,而完善 Lean 工具链是确立 AI 证明可信度的关键。
针对复杂疾病治疗难题,Arc 研究所正利用 AI 构建通用“虚拟细胞”模型。该模型将 RNA 表达视为生命语言,计划四年内通过 CRISPR 和单细胞测序完成 10 亿次实验进行训练。研究人员可借此在电脑模拟中预测基因或化学干预方案,实现从盲目猜测到精准预测的转变。该工具将于今年晚些时候开源,有望在未来四五年内推动个性化医疗及复杂疾病治疗取得临床突破。
围绕《DeepSeek-R1 让 Blackwell 架构的性能大升级》展开交流,未登录用户可浏览评论,登录后可参与讨论。