# DeepSeek 发布开源数学定理证明模型

- 来源：公众号：DeepSeek（深度求索）
- 作者：DeepSeek
- 发布时间：2024-08-16 20:46
- AIHOT 分数：53
- AIHOT 链接：https://aihot.virxact.com/items/cmq2t4r0u00vssl97yqefop24
- 原文链接：https://mp.weixin.qq.com/s/O4aC9dvJC30sfSQyYgbcow

## AI 摘要

DeepSeek 发布了一款开源数学定理证明模型，目标是加速“数学定理证明的 AlphaGo 时代”的到来。

## 正文

公众号正文需在微信内阅读，站内仅提供摘要。