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

我再次強調，DeepSeek 總是在「結論/限制/未來工作」部分公佈其目標。在 Prover-V2 之後，他們的目標是達到 IMO 水準。他們透過 Math-V2 實現了這一目標。 下一個目標：研究層次的數學。