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

多くの人が気づいています。DeepSeekが難解な数学に取り組む人々にとって、質的な変化が見られます。しかしもちろん、これはすべて何年も前に動き出していました。Math-Shepherd、DeepSeek-Math、DeepSeek-Prover。いずれ強力な基本モデルを全面的に活用することは避けられませんでした。