DeepSeek发布新模型DeepSeek-Prover-V2-671B的时间为2025年4月30日，但未提供该模型或公司自成立以来的具体时间线。以下是关键信息整合：

1. 最新模型发布时间

   DeepSeek于2025年4月30日通过Hugging Face开源平台发布了参数量达6710亿的数学推理模型Prover-V2-671B。

2. 模型升级背景

   该模型是DeepSeek去年发布的Prover-V1.5的升级版，基于混合专家（MoE）架构和Lean 4框架，结合强化学习与大规模合成数据，提升了自动化数学定理证明能力。

3. 公司发展历程

   搜索结果提到DeepSeek从2025年2月26日“初露锋芒”开始发展，但未明确具体成立时间或发布首款模型时间。建议通过DeepSeek官方渠道获取更详细的历史信息。

DeepSeek Prover-V2-671B模型发布于2025年4月30日，但公司整体发展时间线需进一步查询。