Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞)（@teortaxesTex）のスレッド

繰り返しますが、DeepSeekは常に「結論／制限事項／今後の課題」セクションで目標を発表しています。Prover-V2の後、目標はIMOレベルに到達することでした。そしてMath-V2でIMOレベルに到達しました。 次の目標は研究レベルの数学です。