标签：DeepSeek-Prover

DeepSeek开源数学大模型，高中、大学定理证明新SOTA

数学家陶哲轩在牛津数学公开讲座中提出，人工智能（AI）与数学的结合将推动形式化证明的编写超越人类，这不仅将验证现有证明，还将创造新的数学知识。AI在形...

AIGC动态

1个月前