来自 Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞)（@teortaxesTex）的推文线程

很多人都注意到了这一点。对于从事高难度数学研究的人来说，DeepSeek 的外观发生了质的转变。当然，这一切早在几年前就已经埋下了伏笔。Math-Shepherd、DeepSeek-Math、DeepSeek-Prover，它们最终会充分利用强大的基础模型，这是必然的。