DeepSeek发布最强开源数学定理证明模型
DeepSeek-Prover-V1 展示了大模型在数学定理证明领域的潜力，通过将数学问题转换为 Lean 编程语言，帮助数学家严格验证证明正确…
主题标签
DeepSeek
关于该主题的全部内容，按发布时间持续更新。
62
篇内容
量化起家，万卡在手，降价狂魔，DeepSeek可能就是中国大模型混战的终结者
作者｜周一笑邮箱｜zhouyixiao@pingwest.com编辑｜王兆洋邮箱｜wangzhaoyang@pingwest.com最近一段时间…