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

很多人都注意到了這一點。對於從事高難度數學研究的人來說，DeepSeek 的外觀發生了質的轉變。當然，這一切早在幾年前就已經埋下了伏筆。 Math-Shepherd、DeepSeek-Math、DeepSeek-Prover，它們最終會充分利用強大的基礎模型，這是必然的。