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

我再次强调，DeepSeek 总是在“结论/局限性/未来工作”部分公布其目标。在 Prover-V2 之后，他们的目标是达到 IMO 水平。他们通过 Math-V2 实现了这一目标。 下一个目标：研究水平的数学。