DeepSeek
-
DeepSeek发布最强开源数学定理证明模型
DeepSeek-Prover-V1 展示了大模型在数学定理证明领域的潜力，通过将数学问题转换为 Lean 编程语言，帮助数学家严格验证证明正确性。 今天，DeepSeek 开源 Prover-V1.5 版本，引入了类似 AlphaGo 的强化学习系统，模型通过自我迭代和 Lean 证明器监督，构建了一个“围棋”式的学习环境。 最终，仅 7B 参数规模的 Prover-V1.5…
-
量化起家，万卡在手，降价狂魔，DeepSeek可能就是中国大模型混战的终结者
作者｜周一笑邮箱｜zhouyixiao@pingwest.com 编辑｜王兆洋邮箱｜wangzhaoyang@pingwest.com 最近一段时间中国大模型领域变得异常热闹，最重要的话题就是各大模型公司的“价格战”。 而事实上，这场让字节、阿里、百度、智谱等纷纷卷入的大混战，最初却是一个“神秘”的“金融公司”所掀起的。 5月6日，量化对冲基金幻方旗下的AI团队深度求索，发布了…