AI快开门
发现最好的AI工具
首页
分类
模型
模型历史
模型排名
模型价格
话题
简报
搜索
← 返回话题列表
#
DeepSeek-V4
相关话题
2026-01-12
国产大模型编程突围
DeepSeek-V4 春节前后发布，主打长代码生成与理解，内部评测已超 Claude、GPT；叠加清华系数学证明模型 AxiomProver 在普特南竞赛 12 题满分，标志国产大模型在垂直专业领域首次实现全球领先，有望重塑开发者生态与科研范式。
DeepSeek-V4
代码生成
数学推理
国产大模型
科研范式